QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Paper • 2602.20629 • Published • 4
Quanquan Liu
qqggez
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 month ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs upvoted a paper about 1 month ago
ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution new activity about 1 month ago
qqggez/qwen3-30b-sft-stage2-merged:Improve model card metadata and add research linksOrganizations
None yet
upvoted 2
papers about 1 month ago