IndiMathBench: Verifizierte Benchmark für automatisierte Mathematikformalisierung
IndiMathBench ist ein neu entwickeltes, von Menschen verifiziertes Benchmark‑Set, das die Leistungsfähigkeit von automatischen Theorem‑Provern testen soll. Das Set besteht aus 312 formalen Lean‑4‑Theoremen, die jeweils…