@misc{misc, title  = {{Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints}},

 url = {{}},

 year = {{2026}},

 month = {{4}},

 author = {{Kappelmann K and Schäffeler M and Stevens L and Abdulaziz M and Popescu A and Traytel D}},

 note = {{Accessed on 2026/05/14}}}