mlsanityData to 14 Oct 2026

The Integer Linear Programming Inference Cookbook

arXiv 2307.00171 ↗First posted 30 Jun 2023cs.AI cs.CL cs.LGcited by 2

Not on the map. Why?

Abstract (arXiv)

Over the years, integer linear programs have been employed to model inference in many natural language processing problems. This survey is meant to guide the reader through the process of framing a new inference problem as an instance of an integer linear program and is structured as a collection of recipes. At the end, we will see two worked examples to illustrate the use of these recipes.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 18 of its 75 references that are in the map. First posted on arXiv 30 Jun 2023.

Builds on

18 of 75 references.

References · 18

  1. 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,399
  2. 2019RoBERTa: A Robustly Optimized BERT Pretraining Approachcited by 13,372
  3. 2016Solving General Arithmetic Word Problemscited by 360
  4. 2017A Semantic Loss Function for Deep Learning with Symbolic Knowledgecited by 270
  5. 2020Neurosymbolic AI: The 3rd Wavecited by 255
  6. 2020Logic-Guided Data Augmentation and Regularization for Consistent Question Answeringcited by 78
  7. 2019A Logic-Driven Framework for Consistency of Neural Modelscited by 64
  8. 2019Joint Reasoning for Temporal and Causal Relationscited by 62
  9. 2020Joint Constrained Learning for Event-Event Relation Extractioncited by 53
  10. 2019Augmenting Neural Networks with First-order Logiccited by 51
  11. 2021Multi-Label Classification Neural Networks with Hard Logical Constraintscited by 36
  12. 2018Improving Temporal Relation Extraction with a Globally Acquired Statistical Resourcecited by 17
6 more
  1. 2020Modeling Content and Context with Deep Relational Learningcited by 16
  2. 2020Structured Tuning for Semantic Role Labelingcited by 10
  3. 2014A Tutorial on Dual Decomposition and Lagrangian Relaxation for Inference in Natural Language Processingcited by 8
  4. 2021Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Studycited by 8
  5. 2018Learning to Speed Up Structured Output Predictioncited by 3
  6. 2013RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Modelscited by 2

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 1; 2026: 1.

2 papers.