justindujardin / mathy

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.

Resources

Mathy's website has rich documentation with visualizations and examples that can be directly executed in Google Colab: https://mathy.ai

• 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:

Justin DuJardin

Guillem Duran Ballester

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