Mathy
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
Install / Use
/learn @justindujardin/MathyREADME
<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!
