Cristina Cornelio
7 papers · 2015–2025 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌈 Renaissance Researcher (5) 🏃 Academic Marathon (10) 🐝 Cross-Pollinator (15) 🌍 Conference Polyglot (7) 🌉 Interdisciplinary Bridge
🧭
Keyword Pioneer
👥
Mega-Team
(30)
Conferences
AAAI (1)
ACL (1)
COLING (1)
ICLR (1)
ICML (1)
IJCAI (1)
IJCNLP (1)
Top co-authors
Keywords
deep reinforcement learning
(1)
text classification
(1)
attention mechanism
(1)
first-order logic
(1)
neural representation
(1)
proof search
(1)
automated theorem proving
(1)
neural theorem proving
(1)
discourse analysis
(1)
attention-based policy
(1)
news understanding
(1)
saturation-based proving
(1)
document-level discourse
(1)
hierarchical theory
(1)
Papers
Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
ICML 2025
Learning where and when to reason in neuro-symbolic inference
ICLR 2023
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
AAAI 2021
Leveraging Abstract Meaning Representation for Knowledge Base Question Answering
ACL 2021
Leveraging Abstract Meaning Representation for Knowledge Base Question Answering
IJCNLP 2021
Identifying the Discourse Function of News Article Paragraphs
COLING 2018
Models for Conditional Preferences as extensions of CP-nets
IJCAI 2015