MolLean: un linguaggio per il ragionamento chimico con verifica del processo

Abstract degli autori

Il chain-of-thought chimico può contenere affermazioni allucinate sulla struttura e sulle proprietà delle molecole. Per questo introduciamo MolLean, un linguaggio con verifica del processo che ancora il ragionamento chimico a uno stato molecolare esplicito. Un kernel basato su Lean e strutturato a livelli verifica le transizioni di stato e le affermazioni sui dati molecolari, dalle modifiche elementari al grafo alle trasformazioni composte. Un protocollo tipizzato per le evidenze distingue le verifiche strutturali native dalle misurazioni fornite dall’esterno. Introduciamo inoltre MolLean-MCP, un’interfaccia per strumenti che mantiene lo stato ed espone queste transizioni, verifiche e letture durante la generazione: il modello riceve un riscontro per decidere l’azione successiva e le azioni respinte lasciano lo stato invariato. MolLean supporta l’esecuzione delle tracce in un unico passaggio, il perfezionamento dell’intera traccia e il ragionamento interattivo tramite MolLean-MCP. Valutiamo queste tre modalità rispetto al chain-of-thought diretto su 8.800 esempi abbinati, distribuiti in 12 compiti che comprendono generazione, modifica e ottimizzazione molecolare, oltre alle reazioni. Con Qwen3.6-27B, il perfezionamento dell’intera traccia supera il chain-of-thought diretto in tutti e 12 i compiti. MolLean-MCP integra il perfezionamento dell’intera traccia con riscontri di verifica passo dopo passo, ottenendo risultati migliori nei compiti relativi alle reazioni. Nel complesso, questi risultati mettono in evidenza una base eseguibile per il ragionamento chimico, nella quale gli assunti chimici espliciti possono essere verificati e rivisti anziché rimanere confinati a spiegazioni in forma libera.