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

ArXiv CS.AI2026-06-02NEWSen作者: Kevin Kappelmann, Maximilian Sch\"affeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu, Dmitriy Traytel
查看原文 →
关系图谱

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints · 相关人物

暂无数据