search

wellecks / llmstep

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

Runtime benchmarking #18

Closed wellecks closed 1 year ago