Yale University
university
Verified
AI & ML interests
None defined yet.
Recent Activity
Papers
ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
models 0
None public yet
datasets 0
None public yet