6 min read
Josef Urban automates 130,000 lines of math code in two weeks
Josef Urban's arXiv paper "130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?" discusses autoformalization in topology.
1 article
Josef Urban's arXiv paper "130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?" discusses autoformalization in topology.