ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution Paper • 2603.02510 • Published 4 days ago • 3
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs Paper • 2602.20629 • Published 11 days ago • 3
The Predicted-Updates Dynamic Model: Offline, Incremental, and Decremental to Fully Dynamic Transformations Paper • 2307.08890 • Published Jul 17, 2023
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs Paper • 2602.20629 • Published 11 days ago • 3