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