[2604.15713] Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
![[2604.15713] Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints](https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png){kind=logo}
Summary
Abstract page for arXiv paper 2604.15713: Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
Description
Abstract page for arXiv paper 2604.15713: Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source