Differences

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

--- nlp:integer_linear_programming [2022/09/09 20:13] – [Papers] jmflanig
+++ nlp:integer_linear_programming [2023/06/15 07:36] (current) – external edit 127.0.0.1
@@ Line 23: / 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 =====