langmath

Mathematical reasoning research — LLM benchmarking on formal proofs.

Language	Python
LoC	6.6k
Repo	~/master/LangMath

Work in progress

Full documentation is being migrated here.