search

wellecks / llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.
MIT License
118 stars 15 forks source link

Benchmarking proofsearch #17

Closed wellecks closed 1 year ago