Andrei Popescu

Identifiers

• name variant Andrei Popescu 0.60 · backfill

Papers (6)

1. Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints cs.LO · 2026 · author #5
2. The fate of small classically stable Q-balls hep-ph · 2017 · author #3
3. A Formalized General Theory of Syntax with Bindings cs.LO · 2017 · author #2
4. Encoding Monomorphic and Polymorphic Types cs.LO · 2016 · author #3
5. Foundational Extensible Corecursion cs.PL · 2015 · author #2
6. 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