Cristina Cornelio
7 papers
· 2015–2025
· 7 conferences
· across top CS/AI conferences
Achievements
🌈
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)