
Ionela Georgiana Mocanu
University of Edinburgh
smt
knowledge acquisition
machine reasoning
pac semantics
implicit learning
decision procedure
1
presentations
1
number of views
SHORT BIO
PhD student at the University of Edinburgh, working on PAC Semantics, knowledge acquisition and multi-agent systems.
OTHER AFFILIATIONS
EnliteAI
Presentations

Polynomial-time Implicit Learnability in SMT
Ionela Georgiana Mocanu