Schmitt, J., Bérczi, G., Dekoninck, J., Feusi, J., Gehrunger, T., Appenzeller, R., . . . Vial, C. (2025). IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.
Chicago-Zitierstil (17. Ausg.)Schmitt, Johannes, et al. IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation. 2025.
MLA-Zitierstil (9. Ausg.)Schmitt, Johannes, et al. IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.