atroyn / math-llm

Grounding LLM mathematical reasoning with proof assistants.
60Updated last year

Related projects

Alternatives and complementary repositories for math-llm