/math-llm

Grounding LLM mathematical reasoning with proof assistants.

Primary LanguagePythonMIT LicenseMIT

Watchers