Cite
Notes
Only stored in your browser.
Attribution
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
arXiv 2026
ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution
from 2 papers
Alan Goldfarb
Alireza Amiri Bavandpour
Amir Yazdanbakhsh
Ana Mickovic
Andres Miniguano-Trujillo
Andrew Liu
Annika Kanckos
Antoine Moulin
Ariane M. Masuda
Arman Cohan