SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

29 May 2019

Papers citing "SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver"

40 / 40 papers shown

Title
Artificial Kuramoto Oscillatory Neurons Takeru Miyato Sindy Lowe Andreas Geiger Max Welling AI4CE 75 6 0 17 Feb 2025
Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens Samuele Bortolotti Emanuele Marconato Paolo Morettin Andrea Passerini Stefano Teso 61 2 0 16 Feb 2025
Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy Chen Wang Kaiyi Ji Junyi Geng Zhongqiang Ren Taimeng Fu ... Yi Du Qihang Li Y. Yang Xiao Lin Zhipeng Zhao SSL 78 9 0 28 Jan 2025
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li Zhaoyu Li Qiwei Du Jinqi Luo Wenshan Wang ... Katia P. Sycara Pradeep Kumar Ravikumar Alexander G. Gray X. Si Sebastian A. Scherer AI4CE LRM 81 3 0 01 Nov 2024
LinSATNet: The Positive Linear Satisfiability Neural Networks Runzhong Wang Yunhao Zhang Ziao Guo Tianyi Chen Xiaokang Yang Junchi Yan 24 15 0 18 Jul 2024
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers Anselm Paulus Georg Martius Vít Musil AI4CE 49 1 0 08 Jul 2024
Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning Charles Dickens Changyu Gao Connor Pryor Stephen J. Wright Lise Getoor 29 3 0 17 Jan 2024
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints Kareem Ahmed Kai-Wei Chang Guy Van den Broeck 26 10 0 06 Dec 2023
Learning Reliable Logical Rules with SATNet Zhaoyu Li Jinpei Guo Yuhe Jiang Xujie Si LRM NAI 27 2 0 03 Oct 2023
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities Jayanta Mandi James Kotary Senne Berden Maxime Mulamba Víctor Bucarey Tias Guns Ferdinando Fioretto AI4CE 26 54 0 25 Jul 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 29 9 0 10 Jul 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators Zhun Yang Joohyung Lee Chi-youn Park 19 18 0 10 Jul 2023
Neuro-Symbolic Sudoku Solver Ashutosh Hathidara Lalit Pandey 16 0 0 02 Jul 2023
Scallop: A Language for Neurosymbolic Programming Ziyang Li Jiani Huang Mayur Naik ReLM LRM NAI 16 30 0 10 Apr 2023
Meta-Learning Parameterized First-Order Optimizers using Differentiable Convex Optimization Tanmay Gautam Samuel Pfrommer Somayeh Sojoudi 18 2 0 29 Mar 2023
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices Jingyi Xu Tushar Vaidya Y. Blankenship Saket Chandra Zhangsheng Lai Kai Fong Ernest Chong 41 8 0 21 Mar 2023
Learning Modulo Theories Matt Fredrikson Kaiji Lu Saranya Vijayakumar S. Jha Vijay Ganesh Zifan Wang NAI OffRL 37 0 0 26 Jan 2023
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving Rongzhen Ye Tianqu Zhuang Hai Wan Jianfeng Du Weilin Luo Pingjia Liang 11 2 0 01 Dec 2022
Logical Tasks for Measuring Extrapolation and Rule Comprehension Ippei Fujisawa Ryota Kanai ELM LRM 20 4 0 14 Nov 2022
Learning predictive checklists from continuous medical data Yukti Makhija E. Brouwer Rahul G. Krishnan 17 1 0 14 Nov 2022
Deep Equilibrium Approaches to Diffusion Models Ashwini Pokle Zhengyang Geng Zico Kolter DiffM 24 39 0 23 Oct 2022
Graphically Structured Diffusion Models Christian Weilbach William Harvey Frank D. Wood DiffM 32 7 0 20 Oct 2022
A Solver-Free Framework for Scalable Learning in Neural ILP Architectures Yatin Nandwani Rishabh Ranjan Mausam Parag Singla 25 7 0 17 Oct 2022
NeuPSL: Neural Probabilistic Soft Logic Connor Pryor Charles Dickens Eriq Augustine Alon Albalak William Wang Lise Getoor NAI 6 33 0 27 May 2022
Exploiting Problem Structure in Deep Declarative Networks: Two Case Studies Stephen Gould Dylan Campbell Itzik Ben-Shabat Chamin Pasidu Hewa Koneputugodage Zhiwei Xu 20 8 0 24 Feb 2022
Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matrices Mikolaj Malkiñski Jacek Mañdziuk 120 41 0 28 Jan 2022
Constraint-based graph network simulator Yulia Rubanova Alvaro Sanchez-Gonzalez Tobias Pfaff Peter W. Battaglia PINN AI4CE 25 28 0 16 Dec 2021
On Training Implicit Models Zhengyang Geng Xinyu Zhang Shaojie Bai Yisen Wang Zhouchen Lin 59 69 0 09 Nov 2021
A global convergence theory for deep ReLU implicit networks via over-parameterization Tianxiang Gao Hailiang Liu Jia Liu Hridesh Rajan Hongyang Gao MLT 23 16 0 11 Oct 2021
Implicit Behavioral Cloning Peter R. Florence Corey Lynch Andy Zeng Oscar Ramirez Ayzaan Wahid Laura Downs Adrian S. Wong Johnny Lee Igor Mordatch Jonathan Tompson OffRL 49 369 0 01 Sep 2021
Combinatorial optimization and reasoning with graph neural networks Quentin Cappart Didier Chételat Elias Boutros Khalil Andrea Lodi Christopher Morris Petar Velickovic AI4CE 32 346 0 18 Feb 2021
Limitations of Autoregressive Models and Their Alternatives Chu-cheng Lin Aaron Jaech Xin Li Matthew R. Gormley Jason Eisner 29 58 0 22 Oct 2020
Learning Set Functions that are Sparse in Non-Orthogonal Fourier Bases Chris Wendler Andisheh Amrollahi B. Seifert Andreas Krause Markus Püschel 12 9 0 01 Oct 2020
Neural Learning of One-of-Many Solutions for Combinatorial Problems in Structured Output Spaces Yatin Nandwani Deepanshu Jindal Mausam Parag Singla 16 13 0 27 Aug 2020
Multiscale Deep Equilibrium Models Shaojie Bai V. Koltun J. Zico Kolter BDL 35 211 0 15 Jun 2020
Semi-Lexical Languages -- A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision Briti Gangopadhyay S. Hazra P. Dasgupta NAI 16 0 0 25 Apr 2020
Hybrid Classification and Reasoning for Image-based Constraint Solving Maxime Mulamba Jayanta Mandi Rocsildes Canoy Tias Guns 33 11 0 24 Mar 2020
It's Not What Machines Can Learn, It's What We Cannot Teach Gal Yehuda Moshe Gabel Assaf Schuster FaML 8 37 0 21 Feb 2020
Implicit Deep Learning L. Ghaoui Fangda Gu Bertrand Travacca Armin Askari Alicia Y. Tsai AI4CE 34 176 0 17 Aug 2019
Solving NP-Hard Problems on Graphs with Extended AlphaGo Zero Kenshi Abe Zijian Xu Issei Sato Masashi Sugiyama GNN AI4CE 25 54 0 28 May 2019