MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku
यह शोध पत्र एक न्यूरो-सिम्बोलिक ढांचे का प्रस्ताव करता है जो सुडोकू पहेलियों पर विजन-लैंग्वेज मॉडल्स के प्रदर्शन को बढ़ाने के लिए एक मैक्ससैट (MaxSAT) ओरेकल का उपयोग करता है ताकि संभावित असाइनमेंटों को मान्य किया जा सके और संरचित फीडबैक प्रदान किया जा सके, जिससे तार्किक निरंतरता लागू होती है और समाधान की सटीकता में सुधार होता है।