HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs
यह शोध पत्र हर्मिस (Hermes) को प्रस्तुत करता है, जो एक नवीन टूल-असिस्टेड एजेंट है जो मौजूदा दृष्टिकोणों की तुलना में बड़े भाषा मॉडलों (large language models) में अधिक सटीक, कुशल और सत्यापन योग्य गणितीय तर्क प्राप्त करने के लिए लीन (Lean) में अनौपचारिक तर्क को औपचारिक रूप से सत्यापित प्रमाणों के साथ अंतर्निहित करता है।