Projects in Awesome Lists tagged with math-reasoning
A curated list of projects in awesome lists tagged with math-reasoning .
https://github.com/lupantech/ineqmath
Solving Inequality Proofs with Large Language Models.
inequality llm-as-a-judge llms math-reasoning olympiad theorem-proving
Last synced: 27 Jan 2026
https://github.com/internlm/spark
An official implementation of "SPARK: Synergistic Policy And Reward Co-Evolving Framework"
large-language-models large-vision-language-models math-reasoning multi-modal reward-model self-improvement self-rewarding vision-language-model
Last synced: 07 Oct 2025
https://github.com/manishklach/micro-reasoner
CPU-trained reasoning model pipeline. LoRA SFT + DPO on SmolLM2-360M, GSM8K math reasoning, single-laptop deployment.
cpu-training dpo gsm8k llm-finetuning lora math-reasoning no-gpu reasoning-model sft smollm2
Last synced: 01 Aug 2026
