The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements
यह शोधपत्र द्विदिश प्रमाणिकता फिंगरप्रिंटिंग (BPF) को प्रस्तुत करता है, जो प्राकृतिक-भाषा जांचों (natural-language probes) के विरुद्ध अपने तार्किक परिणाम पड़ोस (logical consequence neighborhoods) की तुलना करके ऑटो-फॉर्मलाइज्ड गणितीय कथनों की निष्ठा (faithfulness) को प्रमाणित करने वाला एक ढांचा है, जिससे काउंटरफैक्चुअल प्रोब जनरेशन (Counterfactual Probe Generation) और फेथफुलनेस-गाइडेड डिकोडिंग (Faithfulness-Guided Decoding) जैसे नवीन घटकों के माध्यम से सिमेंटिक ड्रिफ्ट (semantic drift) को महत्वपूर्ण रूप से कम किया जाता है।