Andrei Popescu
Identifiers
- name variant Andrei Popescu 0.60 · backfill
Papers (6)
- Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints cs.LO · 2026 · author #5
- The fate of small classically stable Q-balls hep-ph · 2017 · author #3
- A Formalized General Theory of Syntax with Bindings cs.LO · 2017 · author #2
- Encoding Monomorphic and Polymorphic Types cs.LO · 2016 · author #3
- Foundational Extensible Corecursion cs.PL · 2015 · author #2
- Security Type Systems as Recursive Predicates cs.CR · 2013 · author #1
Mentions
- 1501.05425 #2 · backfill · confidence 0.70 Andrei Popescu
- 2604.15713 #5 · arxiv_oai · confidence 0.70 Andrei Popescu
- 1308.3472 #1 · backfill · confidence 0.70 Andrei Popescu
Frequent Coauthors
- Dmitriy Traytel 2 shared papers
- Jasmin Christian Blanchette 2 shared papers
- Dmitry Levkov 1 shared papers
- Emin Nugaev 1 shared papers
- Kevin Kappelmann 1 shared papers
- Lorenzo Gheri 1 shared papers
- Lukas Stevens 1 shared papers
- Maximilian Sch\"affeler 1 shared papers
- Mohammad Abdulaziz 1 shared papers
- Nicholas Smallbone 1 shared papers
- Sascha B\"ohme 1 shared papers