Scholar
Cristina Cornelio
Google Scholar ID: EP9lmrcAAAAJ
Samsung AI Center Cambridge
Neurosymbolic AI
Artificial Intelligence
Automated Reasoning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
775
H-index
15
i10-index
18
Publications
20
Co-authors
0
Publications
7 items
Metro-WM: Long-Horizon Latent Planning with Realisable Sub-Goals
2026
Cited
0
The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning
2026
Cited
0
Better Later Than Sooner: Neuro-Symbolic Knowledge Graph Construction via Ontology-grounded Post-extraction Correction
2026
Cited
0
Query Symbolically or Retrieve Semantically? A Dataset and Method for Semi-Structured Question Answering
2026
Cited
0
The Need for Verification in AI-Driven Scientific Discovery
2025
Cited
0
Error Detection and Correction for Interpretable Mathematics in Large Language Models
2025
Cited
0
Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
2025
Cited
0
