Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
Solve math problems step-by-step with machine learning and planning algorithms.
Mathy's website has rich documentation with visualizations and examples that can be directly executed in Google Colab: https://mathy.ai
@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}
}
Mathy wouldn't be possible without the wonderful contributions of the following people:
Justin DuJardin |
Guillem Duran Ballester |
This project follows the all-contributors specification. Contributions of any kind welcome!