← back to paper

Review history

arxiv: 2604.24021 · 2 revisions

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

1. 2026-05-25 UNVERDICTED LOW v0.9.0 novelty 7.0
   26929 ms 5666 in 1049 out 2026-05-25T06:50:17.023346+00:00
2. 2026-05-08 UNVERDICTED LOW v0.9.0 novelty 6.0
   46213 ms 5487 in 1417 out 2026-05-08T03:53:39.140865+00:00