37 repos
Models, datasets, and methods for teaching language models to solve mathematical problems through reasoning and code generation. The cluster centers on instruction-tuned models like MathCodeInstruct and specialized reasoning architectures designed to handle symbolic mathematics, logical deduction, and program synthesis. A key theme is combining language understanding with executable code as a path to improved mathematical problem-solving, alongside retrieval-augmented approaches and domain-specific fine-tuning strategies.