Abstract: With the application and development of new technologies such as the Internet of Things and big data in the energy field, smart grids have gradually become the main trend for the future ...

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

This repository provides a solution to the standard Capacitated Vehicle Routing Problem with Time Windows (CVRPTW). In a CVRPTW, we aim to optimize the routes of a fleet of vehicles serving customers ...

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