Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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