Abstract: The “Automated Math Equation Recognition and Problem Solving with Computer Vision” research work is to develop a framework that utilizes computer vision methods to consequently recognize ...

MPAX is a hardware-accelerated, differentiable, batchable, and distributable solver for mathematical programming in JAX, designed to integrate with modern computational and deep learning workflows: ...

Abstract: Research on geometry problem solving is gaining increasing attention in the field of Natural Language Processing (NLP). Currently, research in geometry problem solving often relies on formal ...