Nuovi metodi di embedding migliorano il ragionamento logico Horn

Un nuovo articolo su arXiv (2605.20467) introduce tecniche per addestrare reti neurali a classificare le scelte dei ragionatori logici, migliorando l'efficienza della ricerca. L'innovazione chiave è la creazione di migliori embedding numerici di affermazioni logiche utilizzando triplet loss. Vengono proposti tre approcci: generare ancore con termini ripetuti, bilanciare esempi facili/medi/difficili durante l'addestramento e enfatizzare periodicamente gli esempi più difficili. Gli esperimenti confrontano gli embedding tra diverse basi di conoscenza per identificare le caratteristiche ottimali.