profile picture

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

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2025 Underline - All rights reserved