Forschung
TheoremForge: Kosten‑effiziente Daten‑Synthese für formale Mathematik
In der formalen Mathematik sind agentische Arbeitsabläufe oft zu teuer, was die Erstellung großer, offener Datensätze erschwert. Mit dem ne…
arXiv – cs.AI