Cristina Cornelio
Scholar

Cristina Cornelio

Google Scholar ID: EP9lmrcAAAAJ
Samsung AI Center Cambridge
Neurosymbolic AIArtificial IntelligenceAutomated Reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
682
 
H-index
14
 
i10-index
16
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Publications
3 items
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)