Scholar
Dmitriy Traytel
Google Scholar ID: MJppLgoAAAAJ
University of Copenhagen
Interactive Theorem Proving
Runtime Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,573
H-index
23
i10-index
38
Publications
20
Co-authors
24
list available
Publications
1 items
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
2026
Cited
0
Co-authors
6 total
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Andrei Popescu
University of Sheffield
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Giles Reger
Amazon (formerly University of Manchester, UK)
Mathias Fleury
University Freiburg
Jiri Srba
Professor of Computer Science, Aalborg University
