Scallop: A Language for Neurosymbolic Programming

10 April 2023

Papers citing "Scallop: A Language for Neurosymbolic Programming"

21 / 21 papers shown

Title
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Luca Salvatore Lorello Marco Lippi S. Melacci 43 0 0 08 May 2025
CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning Seewon Choi Alaia Solko-Breslin Rajeev Alur Eric Wong 32 0 0 31 Mar 2025
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming Paul Biberstein Ziyang Li Joseph Devietti Mayur Naik 30 0 0 27 Mar 2025
A Learnability Analysis on Neuro-Symbolic Learning Hao He Ming Li 56 0 0 21 Mar 2025
Evolving Symbolic 3D Visual Grounder with Weakly Supervised Reflection Boyu Mi Hanqing Wang Tai Wang Yilun Chen Jiangmiao Pang 71 0 0 21 Feb 2025
Understanding the Logic of Direct Preference Alignment through Logic Kyle Richardson Vivek Srikumar Ashish Sabharwal 85 2 0 23 Dec 2024
Relational Programming with Foundation Models Ziyang Li Jiani Huang Jason Liu Felix Zhu Eric Zhao William Dodds Neelay Velingker Rajeev Alur Mayur Naik 107 3 0 19 Dec 2024
Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning Aaditya Naik Jason Liu Claire Wang Saikat Dutta Mayur Naik Mayur Naik Eric Wong 29 1 0 04 Oct 2024
Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning Debargha Ganguly Srinivasan Iyengar Vipin Chaudhary Shivkumar Kalyanaraman LRM 30 2 0 25 Sep 2024
Data-Efficient Learning with Neural Programs Alaia Solko-Breslin Seewon Choi Ziyang Li Neelay Velingker Rajeev Alur Mayur Naik Eric Wong 26 5 0 10 Jun 2024
FacAID: A Transformer Model for Neuro-Symbolic Facade Reconstruction Aleksander Płocharski Jan Swidzinski Joanna Porter-Sobieraj Przemyslaw Musialski 43 1 0 03 Jun 2024
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities Ziyang Li Saikat Dutta Mayur Naik 51 44 0 27 May 2024
Symbol Correctness in Deep Neural Networks Containing Symbolic Layers Aaron Bembenek Toby Murray NAI 35 1 0 06 Feb 2024
Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning Tianhua Zhang Jiaxin Ge Hongyin Luo Yung-Sung Chuang Mingye Gao Yuan Gong Xixin Wu Yoon Kim Helen M. Meng James R. Glass LRM ReLM 90 15 0 19 Sep 2023
Exploiting Code Symmetries for Learning Program Semantics Kexin Pei Weichen Li Qirui Jin Shuyang Liu Scott Geng Lorenzo Cavallaro Junfeng Yang Suman Jana 33 4 0 07 Aug 2023
Teaching Probabilistic Logical Reasoning to Transformers Aliakbar Nafar K. Venable Parisa Kordjamshidi ReLM LRM 16 3 0 22 May 2023
LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision Jiani Huang Ziyang Li Mayur Naik Ser-Nam Lim 37 3 0 15 Apr 2023
Binding Language Models in Symbolic Languages Zhoujun Cheng Tianbao Xie Peng Shi Chengzu Li Rahul Nadkarni ... Dragomir R. Radev Mari Ostendorf Luke Zettlemoyer Noah A. Smith Tao Yu LMTD 116 197 0 06 Oct 2022
Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables Jian Gu H. Gall 19 0 0 04 Sep 2022
How to Train Your HiPPO: State Space Models with Generalized Orthogonal Basis Projections Albert Gu Isys Johnson Aman Timalsina Atri Rudra Christopher Ré Mamba 95 89 0 24 Jun 2022
Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah Eric Zhan Jennifer J. Sun Abhinav Verma Yisong Yue Swarat Chaudhuri 134 43 0 23 Jul 2020