Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
यह शोध पत्र Hilbert-Geo को प्रस्तुत करता है, जो एक न्यूरल-सिम्बोलिक फ्रेमवर्क है जो जटिल ठोस और समतल ज्यामिति समस्याओं को हल करने के लिए सत्यापन योग्य, मानव-पठनीय तर्क के माध्यम से अत्याधुनिक प्रदर्शन प्राप्त करने हेतु प्राकृतिक भाषा और दृश्य इनपुट को एक औपचारिक भाषा में एकीकृत करता है।