Recent works in learning-integrated optimization have shown promise in
s...
The deployment and training of neural networks on edge computing devices...
This workshop Report Out focuses on the foundational elements of trustwo...
Integer Linear Programs (ILPs) are powerful tools for modeling and solvi...
Large Neighborhood Search (LNS) is a popular heuristic algorithm for sol...
Optimization problems with expensive nonlinear cost functions and
combin...
In Mixed Integer Linear Programming (MIP), a (strong) backdoor is a "sma...
There is significant interest in learning and optimizing a complex syste...
We propose a machine learning approach for quickly solving Mixed Integer...
AI for good (AI4G) projects involve developing and applying artificial
i...
Controlling bias in training datasets is vital for ensuring equal treatm...
Conflict-Based Search (CBS) is a state-of-the-art algorithm for multi-ag...
Recent advancements in procedural content generation via machine learnin...
This paper studies how to design abstractions of large-scale combinatori...
We propose incorporating human labelers in a model fine-tuning system th...
Many complex systems, both in technology and nature, exhibit hierarchica...
Real-world applications often combine learning and optimization problems...
We propose a framework to examine future migration patterns of people un...
Illegal wildlife poaching threatens ecosystems and drives endangered spe...
Stackelberg security games are a critical tool for maximizing the utilit...
Digital Adherence Technologies (DATs) are an increasingly popular method...
Binarized Neural Networks (BNNs) have recently attracted significant int...
Creating impact in real-world settings requires artificial intelligence
...
It is well known that many complex systems, both in technology and natur...
The spread of invasive species to new areas threatens the stability of
e...
Knowing where people live is a fundamental component of many decision ma...
The design of good heuristics or approximation algorithms for NP-hard
co...
We propose δ-MAPS, a method that analyzes spatio-temporal data to
first ...
Data represented as strings abounds in biology, linguistics, document mi...