Scholar

Dmitriy Traytel

Google Scholar ID: MJppLgoAAAAJ

University of Copenhagen

Interactive Theorem ProvingRuntime Verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,573

H-index

23

i10-index

38

Publications

20

Co-authors

24

list available

Contact

No contact links provided.

Publications

1 items

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints

2026

Cited

0

Resume (English only)

Co-authors

24 total

Jasmin Blanchette

Ludwig-Maximilians-Universität München

University of Sheffield

Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University