Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning

4 October 2024

Papers citing "Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning"

22 / 22 papers shown

Title
Data-Efficient Learning with Neural Programs Alaia Solko-Breslin Seewon Choi Ziyang Li Neelay Velingker Rajeev Alur Mayur Naik Eric Wong 66 6 0 10 Jun 2024
LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks Subbarao Kambhampati Karthik Valmeekam L. Guan Mudit Verma Kaya Stechly Siddhant Bhambri Lucas Saldyt Anil Murthy LRM 118 123 0 02 Feb 2024
Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick Lennert De Smet Emanuele Sansone Pedro Zuidberg Dos Martires 49 12 0 21 Nov 2023
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning Aaditya Naik Adam Stein Yinjun Wu Mayur Naik Eric Wong 55 3 0 13 Aug 2023
NeurASP: Embracing Neural Networks into Answer Set Programming Zhun Yang Adam Ishay Joohyung Lee NAI 124 157 0 15 Jul 2023
Scalable Neural-Probabilistic Answer Set Programming Arseny Skryagin Daniel Ochs Devendra Singh Dhami Kristian Kersting 58 8 0 14 Jun 2023
Scallop: A Language for Neurosymbolic Programming Ziyang Li Jiani Huang Mayur Naik ReLM LRM NAI 55 33 0 10 Apr 2023
Resurrecting Recurrent Neural Networks for Long Sequences Antonio Orvieto Samuel L. Smith Albert Gu Anushan Fernando Çağlar Gülçehre Razvan Pascanu Soham De 326 288 0 11 Mar 2023
A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference Emile van Krieken Thiviyan Thanapalasingam Jakub M. Tomczak F. V. Harmelen A. T. Teije 43 38 0 23 Dec 2022
NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning Zeming Chen Qiyue Gao Lawrence S. Moss FedML NAI 43 42 0 29 May 2021
Logic Tensor Networks Samy Badreddine Artur Garcez Luciano Serafini Michael Spranger NAI 117 208 0 25 Dec 2020
Long Range Arena: A Benchmark for Efficient Transformers Yi Tay Mostafa Dehghani Samira Abnar Songlin Yang Dara Bahri Philip Pham J. Rao Liu Yang Sebastian Ruder Donald Metzler 142 720 0 08 Nov 2020
Learning Reasoning Strategies in End-to-End Differentiable Proving Pasquale Minervini Sebastian Riedel Pontus Stenetorp Edward Grefenstette Tim Rocktaschel LRM 91 96 0 13 Jul 2020
Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoning Qing Li Siyuan Huang Yining Hong Yixin Chen Ying Nian Wu Song-Chun Zhu NAI 74 83 0 11 Jun 2020
An Advance on Variable Elimination with Applications to Tensor-Based Computation Adnan Darwiche 23 17 0 21 Feb 2020
Differentiable Reasoning on Large Knowledge Bases and Natural Language Pasquale Minervini Matko Bovsnjak Tim Rocktaschel Sebastian Riedel Edward Grefenstette LRM 103 89 0 17 Dec 2019
DistilBERT, a distilled version of BERT: smaller, faster, cheaper and lighter Victor Sanh Lysandre Debut Julien Chaumond Thomas Wolf 232 7,504 0 02 Oct 2019
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text Koustuv Sinha Shagun Sodhani Jin Dong Joelle Pineau William L. Hamilton 62 210 0 16 Aug 2019
RoBERTa: A Robustly Optimized BERT Pretraining Approach Yinhan Liu Myle Ott Naman Goyal Jingfei Du Mandar Joshi Danqi Chen Omer Levy M. Lewis Luke Zettlemoyer Veselin Stoyanov AIMat 653 24,464 0 26 Jul 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 91 556 0 18 Jul 2019
The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision Jiayuan Mao Chuang Gan Pushmeet Kohli J. Tenenbaum Jiajun Wu NAI 134 698 0 26 Apr 2019
End-to-End Differentiable Proving Tim Rocktaschel Sebastian Riedel NAI 99 381 0 31 May 2017