Pushing the Limits of Mathematical Reasoning in Open Language Models
Tool-integrated Reasoning LLM Agents
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning
A flexible and efficient library for deep learning
Music research software
API for all possible cellular automata that work same at all angles
Solver for Math Text Problems
Elementary Arithmetic Word Problem Solver
CAS Algorithms embeded as libraries.