Cristina Cornelio
6 papers · 2015–2025 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird
👥
Mega-Team · Squad
Top co-authors
Research topics
Artificial Intelligence
(3)
Core AI
(3)
Deep Learning
(2)
Knowledge & Reasoning
(1)
Machine Learning
(1)
Natural Language Processing
(1)
Reinforcement Learning
(1)
Architectures
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Methods
(1)
Reasoning
(1)
Representation
(1)
Understanding
(1)
Keywords
attention mechanism
(2)
structured prediction
(1)
text classification
(1)
hierarchical planning
(1)
constraint satisfaction
(1)
first-order logic
(1)
neural representation
(1)
knowledge graph
(1)
proof search
(1)
automated theorem proving
(1)
retrieval-augmented generation
(1)
neural theorem proving
(1)
discourse analysis
(1)
symbolic verification
(1)
neuro-symbolic reasoning
(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
Identifying the Discourse Function of News Article Paragraphs
COLING 2018
Models for Conditional Preferences as extensions of CP-nets
IJCAI 2015