Theory-Scale Auto-Formalization of Logics for Computer Science
यह शोध पत्र LCS-Bench प्रस्तुत करता है, जो एक नवीन अर्ध-स्वचालित एजेंटिक पाइपलाइन के माध्यम से 327 पाठ्यपुस्तक मदों से प्राप्त 3,000 से अधिक लीन (Lean) घोषणाओं वाला एक व्यापक सिद्धांत-स्तर का बेंचमार्क है, जो यह प्रकट करता है कि वर्तमान अत्याधुनिक मॉडल सुसंगत, बड़े पैमाने पर ऑटो-फॉर्मलाइजेशन (auto-formalization) में संघर्ष करते हैं, और केवल 20.1% सफलता दर प्राप्त करते हैं।