Eleonora Giunchiglia
Scholar

Eleonora Giunchiglia

Google Scholar ID: HAgGqScAAAAJ
Imperial College London
Artificial IntelligenceDeep LearningSafe AINeuro-Symbolic AI
Google Scholar↗
Citations & Impact
All-time
Citations
933
 
H-index
14
 
i10-index
15
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
9 items
Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
2026
Cited
0
Stay Within Your Bounds: Distance-Guided Decoding for Guaranteed Context-Free Grammar Compliance
2026
Cited
0
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
2026
Cited
0
Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models
2026
Cited
0
Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI
2025
Cited
0
PiCSAR: Probabilistic Confidence Selection And Ranking
2025
Cited
0
TRIDENT: Temporally Restricted Inference via DFA-Enhanced Neural Traversal
2025
Cited
0
A Survey on Tabular Data Generation: Utility, Alignment, Fidelity, Privacy, and Beyond
2025
Cited
0
Resume (English only)
Co-authors
20 total
Thomas Lukasiewicz
Thomas Lukasiewicz
Vienna University of Technology, Austria; University of Oxford, UK
Mihaela Catalina Stoian
Mihaela Catalina Stoian
University of Oxford
Oana-Maria Camburu
Oana-Maria Camburu
Assistant Professor at Imperial College London
Phil Blunsom
Phil Blunsom
Cohere & St Hugh’s College Oxford
Mihaela van der Schaar
Mihaela van der Schaar
University of Cambridge, The Alan Turing Institute
Fabio Cuzzolin
Fabio Cuzzolin
Professor of Artificial Intelligence, Oxford Brookes University
Jakob Foerster
Jakob Foerster
Associate Professor, University of Oxford
Maxime Cordy
Maxime Cordy
University of Luxembourg