Forschung
IndiMathBench: Verifizierte Benchmark für automatisierte Mathematikformalisierung
IndiMathBench ist ein neu entwickeltes, von Menschen verifiziertes Benchmark‑Set, das die Leistungsfähigkeit von automatischen Theorem‑Prov…
arXiv – cs.AI