Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics
यह शोध पत्र Visored को प्रस्तुत करता है, जो एक डिपेंडेंट-टाइप-आधारित प्रूवर है जो प्राकृतिक भाषा जैसे इंटरफ़ेस और नियम-संचालित स्वचालन का उपयोग करके प्रमाणों को जांचे गए लीन (Lean) फाइलों में परिवर्तित करके एलएलएम (LLM)-जनित गणित और औपचारिक सत्यापन के बीच सेतु बनाता है, जो बिना किसी विशेष प्रशिक्षण के miniF2F बेंचमार्क पर प्रभावी प्रदर्शन प्रदर्शित करता है।