Sean Welleck
Results
7
repositories owned by
Sean Welleck
naturalproofs
80
Stars
7
Forks
Watchers
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
llmstep
100
Stars
13
Forks
Watchers
llmstep: [L]LM proofstep suggestions in Lean 4.