3 papers
cs.AI2025
The Need for Verification in AI-Driven Scientific Discovery
Cristina Cornelio, Takuya Ito, Ryan Cory-Wright +2
Artificial intelligence (AI) is transforming the practice of science. Machine learning and large language models (LLMs) can generate hypotheses at a scale and speed far exceeding t…
cs.AI2025
Error Detection and Correction for Interpretable Mathematics in Large Language Models
Yijin Yang, Cristina Cornelio, Mario Leiva +1
Recent large language models (LLMs) have demonstrated the ability to perform explicit multi-step reasoning such as chain-of-thought prompting. However, their intermediate steps oft…
cs.AI2025
Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
Cristina Cornelio, Flavio Petruzzellis, Pietro Lio
Large Language Models (LLMs) have shown promise as robotic planners but often struggle with long-horizon and complex tasks, especially in specialized environments requiring externa…