1 citations · 1 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…