Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by wellecks
A curated list of projects in awesome lists by wellecks .
https://github.com/wellecks/naturalproofs
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
Last synced: 01 Aug 2024
https://github.com/wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
lean lean4 llm theorem-proving
Last synced: 09 Aug 2024