5 citations · 8 across the 11 of their papers we have counts for
1 paper · 1 filter
Zhe Hou
We present Isabellm, an LLM-powered theorem prover for Isabelle/HOL that performs fully automatic proof synthesis. Isabellm works with any local LLM on Ollama and APIs such as Gemi…