Ramya Keerthy Thatikonda

Questo studio confronta i LLM integrati con diversi risolutori simbolici per compiti di ragionamento logico.

Migliorare la precisione della traduzione da linguaggio naturale a logica di primo ordine.