SkillAgentSearch skills...

Mathy

Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning

Install / Use

/learn @justindujardin/Mathy

README

<p align="center"> <a href="https://mathy.ai"><img mathy-logo src="https://mathy.ai/img/mathy_logo.png" alt="Mathy.ai"></a> </p> <p align="center"> <em>Solve math problems step-by-step with machine learning and planning algorithms.</em> </p> <p align="center"> <a href="https://github.com/justindujardin/mathy/actions"> <img src="https://github.com/justindujardin/mathy/workflows/Build/badge.svg" /> </a> <a href="https://codecov.io/gh/justindujardin/mathy"> <img src="https://codecov.io/gh/justindujardin/mathy/branch/master/graph/badge.svg?token=CqPEOdEMJX" /> </a> <a href="https://pypi.org/project/mathy" target="_blank"> <img src="https://badge.fury.io/py/mathy.svg" alt="Package version"> </a> </p>

Resources

Mathy's website has rich documentation with visualizations and examples that can be directly executed in Google Colab: <a href="https://mathy.ai" target="_blank">https://mathy.ai</a>

  • Mathy Core contains the expression parser and base rules for mathy
  • Mathy Envs contains the RL environments for solving problems step-by-step

Citations

@article{hernandez2018fractalai,
    title   = {Fractal AI: A fragile theory of intelligence},
    author  = {Sergio Hernandez Cerezo, Guillem Duran Ballester},
    journal = {arXiv preprint arXiv:1803.05049},
    year    = {2018}
}

Contributors

Mathy wouldn't be possible without the wonderful contributions of the following people:

<!-- ALL-CONTRIBUTORS-LIST:START - Do not remove or modify this section --> <!-- prettier-ignore-start --> <!-- markdownlint-disable --> <table> <tr> <td align="center"><a target="_blank" href="https://www.justindujardin.com/"><img src="https://avatars0.githubusercontent.com/u/101493?v=4" width="100px;" alt=""/><br /><sub><b>Justin DuJardin</b></sub></a></td> <td align="center"><a target="_blank" href="https://twitter.com/Miau_DB"><img src="https://avatars3.githubusercontent.com/u/7149899?v=4" width="100px;" alt=""/><br /><sub><b>Guillem Duran Ballester</b></sub></a></td> </tr> </table> <!-- markdownlint-enable --> <!-- prettier-ignore-end --> <!-- ALL-CONTRIBUTORS-LIST:END -->

This project follows the all-contributors specification. Contributions of any kind welcome!

View on GitHub
GitHub Stars145
CategoryEducation
Updated1mo ago
Forks160

Languages

Python

Security Score

100/100

Audited on Feb 23, 2026

No findings