Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Teaching Vampire New Tricks: An Experimental Study of Neural Clause Selection
Karel Chvalovský, Martin Suda, Josef Urban
A neural clause-selection guidance approach in the Vampire theorem prover was recently shown to substantially improve the success rate of the prover's default strategy on the TPTP…
cs.LO2026
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
Josef Urban
This is a brief description of a project that has already autoformalized a large portion of the general topology from the Munkres textbook (which has in total 241 pages in 7 chapte…