activity
20242026
most citedTableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)

6 citations · 6 across the 6 of their papers we have counts for

collaborators
Showing 2026 · cs.LOShow all

1 paper · 2 filters

cs.LO2026

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents

Chad E. Brown, Cezary Kaliszyk, Josef Urban

We describe an experiment in large-scale autoformalization of algebraic topology in an Interactive Theorem Proving (ITP) environment, where the workload is distributed among multip…