Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mehrdad Karrabi
conf.researchr.org general profile
ATVA 2025 profile
Registered user since Tue 1 Apr 2025
Name:
Mehrdad Karrabi
Contributions
2025
ATVA
Committee Member in Artifact Evaluation Committee
Author of PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper) within the ATVA Papers-track
Share
x
Sun 26 Oct 20:09