10 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Matěj Kripner, Milan Straka
In this system paper, we present OpenProver, an open-source system for LLM-driven automated theorem proving (ATP) with integrated Lean 4 formal verification. OpenProver integrates…