1 citations · 1 across the 3 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…