QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

MaRDI QIDQ7245837arXivFDO

Authors Chenyang An, Qihao Ye, Minghao Pan, Jiayaun Zhang

Publication date 2026

Published in arXiv

arXiv classification

cs.AI

Cited in

(1)

• Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization

This page was built for publication: QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7245837)