Python library for converting Python calculations into rendered latex
Bayesian Modeling and Probabilistic Programming in Python
AI-driven neuro-symbolic solver for high-school geometry problems
This dataset code generates mathematical question and answer pairs
Advanced mathematical types and functions for Swift
Composable transformations of Python+NumPy programs
General Mission Analysis Tool