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"

33 / 33 papers shown

Title
Artificial Kuramoto Oscillatory Neurons Takeru Miyato Sindy Lowe Andreas Geiger Max Welling AI4CE 67 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 53 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 69 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 74 3 0 01 Nov 2024
LinSATNet: The Positive Linear Satisfiability Neural Networks Runzhong Wang Yunhao Zhang Ziao Guo Tianyi Chen Xiaokang Yang Junchi Yan 19 15 0 18 Jul 2024
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers Anselm Paulus Georg Martius Vít Musil AI4CE 47 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 24 3 0 17 Jan 2024
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints Kareem Ahmed Kai-Wei Chang Guy Van den Broeck 18 10 0 06 Dec 2023
Learning Reliable Logical Rules with SATNet Zhaoyu Li Jinpei Guo Yuhe Jiang Xujie Si LRM NAI 25 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 19 54 0 25 Jul 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 21 9 0 10 Jul 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators Zhun Yang Joohyung Lee Chi-youn Park 14 18 0 10 Jul 2023
Neuro-Symbolic Sudoku Solver Ashutosh Hathidara Lalit Pandey 8 0 0 02 Jul 2023
Meta-Learning Parameterized First-Order Optimizers using Differentiable Convex Optimization Tanmay Gautam Samuel Pfrommer Somayeh Sojoudi 13 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 33 8 0 21 Mar 2023
Learning Modulo Theories Matt Fredrikson Kaiji Lu Saranya Vijayakumar S. Jha Vijay Ganesh Zifan Wang NAI OffRL 31 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 6 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 6 1 0 14 Nov 2022
Deep Equilibrium Approaches to Diffusion Models Ashwini Pokle Zhengyang Geng Zico Kolter DiffM 17 39 0 23 Oct 2022
A Solver-Free Framework for Scalable Learning in Neural ILP Architectures Yatin Nandwani Rishabh Ranjan Mausam Parag Singla 16 7 0 17 Oct 2022
Exploiting Problem Structure in Deep Declarative Networks: Two Case Studies Stephen Gould Dylan Campbell Itzik Ben-Shabat Chamin Pasidu Hewa Koneputugodage Zhiwei Xu 12 8 0 24 Feb 2022
On Training Implicit Models Zhengyang Geng Xinyu Zhang Shaojie Bai Yisen Wang Zhouchen Lin 56 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 18 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 25 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 30 345 0 18 Feb 2021
Limitations of Autoregressive Models and Their Alternatives Chu-cheng Lin Aaron Jaech Xin Li Matthew R. Gormley Jason Eisner 18 58 0 22 Oct 2020
Neural Learning of One-of-Many Solutions for Combinatorial Problems in Structured Output Spaces Yatin Nandwani Deepanshu Jindal Mausam Parag Singla 10 13 0 27 Aug 2020
Multiscale Deep Equilibrium Models Shaojie Bai V. Koltun J. Zico Kolter BDL 16 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 20 11 0 24 Mar 2020
Implicit Deep Learning L. Ghaoui Fangda Gu Bertrand Travacca Armin Askari Alicia Y. Tsai AI4CE 18 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 14 54 0 28 May 2019