Differences

This shows you the differences between two versions of the page.

--- nlp:integer_linear_programming [2021/04/01 08:36] – jmflanig
+++ nlp:integer_linear_programming [2023/06/15 07:36] (current) – external edit 127.0.0.1
@@ Line 9: / Line 9: @@
   * [[https://www.aclweb.org/anthology/W04-2401.pdf|Roth & Yih 2004 - A Linear Programming Formulation for Global Inference in Natural Language Tasks]]
   * [[https://www.aclweb.org/anthology/P09-1039.pdf|Martins et al 2009 - Concise Integer Linear Programming Formulations for Dependency Parsing]]
+  * [[https://www.aclweb.org/anthology/N09-2002.pdf|Riedel & Clark 2009 - Revisiting Optimal Decoding for Machine Translation IBM Model 4]] Optimal decoding for IBM model 4 using an ILP
   * [[https://www.isi.edu/natural-language/amr/smatch-13.pdf|Cai & Knight 2013 - Smatch: an Evaluation Metric for Semantic Feature Structures]]
   * [[https://arxiv.org/pdf/1609.07034.pdf|Banerjee et al 2016 - Multi-Document Abstractive Summarization Using ILP based Multi-Sentence Compression]]
@@ Line 14: / Line 15: @@
   * [[https://www.aclweb.org/anthology/N15-1145.pdf|Li et al 2015 - Improving Update Summarization via Supervised ILP and Sentence Reranking]]
   * [[https://www.aclweb.org/anthology/W18-1704.pdf|2018 - Multi-Sentence Compression with Word Vertex-Labeled Graphs and Integer Linear Programming]]
 ===== Neural Papers =====
@@ Line 21: / Line 23: @@
   * [[https://www.aclweb.org/anthology/2020.coling-main.418.pdf|Chousa et al 2020 - SpanAlign: Sentence Alignment Method based on Cross-Language Span Prediction and ILP]]
   * [[https://www.aclweb.org/anthology/2020.textgraphs-1.13.pdf|Gupta & Srinivasaraghavan 2020 - Explanation Regeneration via Multi-Hop ILP Inference over Knowledge Base]]
+  * [[https://aclanthology.org/2020.emnlp-main.9.pdf|Saha et al 2020 - PRover: Proof Generation for Interpretable Reasoning over Rules]]
+  * [[https://aclanthology.org/2021.findings-acl.277.pdf|Sun et al 2021 - Probabilistic Graph Reasoning for Natural Proof Generation]]
+===== Theoretical Results =====
+  * Not every problem solvable in polynomial-time has a compact extended ILP formulation (see Yannakakis’ problem, section 4.10.3, page 181 of Integer Programming by Conforti et al).
 ===== Software =====
@@ Line 27: / Line 34: @@
 ===== Courses and Slides =====
+(Search "integer linear programming slides pdf" on Google)
   * [[http://www.cs.cmu.edu/~arielpro/15780s17/slides/integer_prog.pdf|Ziko Kolter - Integer Linear Programming]]
+  * [[https://ilpinference.github.io/eacl2017/outline.html|Tutorial at EACL 2017]]
+  * [[https://www2.cs.duke.edu/courses/fall10/cps296.1/|Integer Linear Programming at Duke]]
+  * [[https://ocw.mit.edu/courses/sloan-school-of-management/15-053-optimization-methods-in-management-science-spring-2013/lecture-notes/MIT15_053S13_lec10.pdf|MIT Sloan - ILP Lecture]]
+  * [[https://www.isical.ac.in/~arijit/courses/autumn2016/ILP-Lecture-1.pdf|ILP Slides]]
+===== Related Pages =====
+  * [[Structured Prediction Energy Networks]]