AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
यह शोध पत्र AdvancedMathBench प्रस्तुत करता है, जो एक व्यापक बेंचमार्क सुइट है जिसमें उन्नत गणितीय प्रमाण निर्माण के मूल्यांकन के लिए ProverBench और प्रमाण सत्यापन के आकलन के लिए VerifierBench के साथ-साथ एक विशेष स्वचालित सत्यापन पाइपलाइन शामिल है, ताकि यह प्रकट किया जा सके कि वर्तमान अत्याधुनिक लार्ज लैंग्वेज मॉडल्स अभी भी स्नातक और डॉक्टरेट स्तर पर कठोर प्रमाणों के निर्माण और सत्यापन में काफी संघर्ष करते हैं।