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

This repository contains a simple implementation of a linear programming solver, in particular for the primal and dual simplex method in tableau form and the application of Gomory's cut in case of ...

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 ...

Abstract: The drawing up of university course timetables is an ongoing challenge and laborious task which must be performed by an administrative staff working on the strength of their knowledge to ...