integer linear programming

AdapTok: Learning Adaptive and Temporally Causal Video Tokenization in a 1D Latent Space CVPR 2026 BAMAS: Structuring Budget-Aware Multi-Agent Systems AAAI 2026 CODEI: Resource-Efficient Task-Driven Co-Design of Perception and Decision Making for Mobile Robots Applied to Autonomous Vehicles (Abstract Reprint) AAAI 2026 InfoQ: Mixed-Precision Quantization via Global Information Flow AAAI 2026 The Cost and Complexity of Minimizing Envy in House Allocations (Abstract Reprint) AAAI 2026 DCILP: A Distributed Approach for Large-Scale Causal Structure Learning AAAI 2025 Differentiable Integer Linear Programming ICLR 2025 OCCAM: Towards Cost-Efficient and Accuracy-Aware Classification Inference ICLR 2025 When GNNs meet symmetry in ILPs: an orbit-based feature augmentation approach ICLR 2025 A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference COLING 2024 Consistent Joint Decision-Making with Heterogeneous Learning Models EACL 2024 Deep Dependency Networks and Advanced Inference Schemes for Multi-Label Classification AISTATS 2024 Deploying ADVISER: Impact and Lessons from Using Artificial Intelligence for Child Vaccination Uptake in Nigeria AAAI 2024 DOGE-Train: Discrete Optimization on GPU with End-to-End Training AAAI 2024 End-to-End Verification for Subgraph Solving AAAI 2024 Enforcing Constraints in RNA Secondary Structure Predictions: A Post-Processing Framework Based on the Assignment Problem ICML 2024 FALCON: FLOP-Aware Combinatorial Optimization for Neural Network Pruning AISTATS 2024 FedCompetitors: Harmonious Collaboration in Federated Learning with Competing Participants AAAI 2024 ILP-FORMER: Solving Integer Linear Programming with Sequence to Multi-Label Learning UAI 2024 Large-Scale Multi-Hypotheses Cell Tracking Using Ultrametric Contours Maps ECCV 2024 ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism IJCAI 2024 Several Stories about High-Multiplicity EFx Allocation (Student Abstract) AAAI 2024 SpiderMatch: 3D Shape Matching with Global Optimality and Geometric Consistency CVPR 2024 SymILO: A Symmetry-Aware Learning Framework for Integer Linear Optimization NeurIPS 2024 Towards Efficient Verification of Quantized Neural Networks AAAI 2024