TY  - GEN

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

T2  - arXiv

PY  - 2026/04/17

AU  - Kappelmann K

AU  - Schäffeler M

AU  - Stevens L

AU  - Abdulaziz M

AU  - Popescu A

AU  - Traytel D

ED  - 

Y2  - 2026/05/14

ER  -