🤖 machine learning
Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings
यह शोध पत्र प्रदर्शित करता है कि चॉइस का अभिगृही (Axiom of Choice) न्यूरल प्रूफ़ एम्बेडिंग्स में एक मापने योग्य ज्यामितीय हस्ताक्षर छोड़ता है—जो निर्भरता ग्राफ (dependency graph) में अभिगृही से दूर जाने पर घटते विसंगति स्कोर (anomaly scores) और पुनर्निर्माण हानि (reconstruction losses) द्वारा अभिलक्षित है—जो लीन 4 (Lean 4) जैसे सिस्टम में रचनात्मक (constructive) और शास्त्रीय (classical) प्रमेय सिद्ध करने के बीच प्रदर्शन के अंतर के साथ सह-संबद्ध है और उसका पूर्वानुमान लगाता है।