Neural Logic Machines

26 April 2019

Jiayuan Mao

Papers citing "Neural Logic Machines"

45 / 45 papers shown

Title
Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models X. Wang Haoyang Li Zeyang Zhang Hongyu Chen Wenwu Zhu LRM 84 0 0 28 Apr 2025
DiSciPLE: Learning Interpretable Programs for Scientific Visual Discovery Utkarsh Mall Cheng Perng Phoo Mia Chiquier Bharath Hariharan Kavita Bala Carl Vondrick 79 1 0 17 Feb 2025
Neuro-Symbolic Contrastive Learning for Cross-domain Inference Mingyue Liu Ryo Ueda Zhen Wan Katsumi Inoue Chris G. Willcocks NAI 72 0 0 13 Feb 2025
Bilevel Learning for Bilevel Planning Bowen Li Tom Silver Sebastian A. Scherer Alexander G. Gray 78 1 0 12 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 Yi Yang Xiao Lin Zhipeng Zhao SSL 89 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
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic Gaia Saveri L. Nenzi Luca Bortolussi Jan Křetínský 43 0 0 23 May 2024
Learning Domain-Independent Heuristics for Grounded and Lifted Planning Dillon Z. Chen Sylvie Thiébaux Felipe W. Trevizan AI4CE 34 15 0 18 Dec 2023
What's Left? Concept Grounding with Logic-Enhanced Foundation Models Joy Hsu Jiayuan Mao Joshua B. Tenenbaum Jiajun Wu VLM ReLM LRM 33 21 0 24 Oct 2023
Learning Reliable Logical Rules with SATNet Zhaoyu Li Jinpei Guo Yuhe Jiang Xujie Si LRM NAI 27 2 0 03 Oct 2023
Efficient Learning of Discrete-Continuous Computation Graphs David Friede Mathias Niepert 13 3 0 26 Jul 2023
Neuro-Symbolic Sudoku Solver Ashutosh Hathidara Lalit Pandey 16 0 0 02 Jul 2023
Scalable Neural-Probabilistic Answer Set Programming Arseny Skryagin Daniel Ochs Devendra Singh Dhami Kristian Kersting 35 5 0 14 Jun 2023
A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making Carlos Núnez-Molina Pablo Mesejo Juan Fernández-Olivares 30 3 0 20 Apr 2023
Learning Rational Subgoals from Demonstrations and Instructions Zhezheng Luo Jiayuan Mao Jiajun Wu Tomás Lozano-Pérez J. Tenenbaum L. Kaelbling 41 5 0 09 Mar 2023
NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems Carlos Núnez-Molina Pablo Mesejo Juan Fernández-Olivares 18 4 0 24 Jan 2023
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning R. Bettker P. Minini André Grahl Pereira M. Ritt 27 1 0 23 Nov 2022
A Solver-Free Framework for Scalable Learning in Neural ILP Architectures Yatin Nandwani Rishabh Ranjan Mausam Parag Singla 33 7 0 17 Oct 2022
Measuring and Narrowing the Compositionality Gap in Language Models Ofir Press Muru Zhang Sewon Min Ludwig Schmidt Noah A. Smith M. Lewis ReLM KELM LRM 52 557 0 07 Oct 2022
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought Abulhair Saparov He He ELM LRM ReLM 121 275 0 03 Oct 2022
Least-to-Most Prompting Enables Complex Reasoning in Large Language Models Denny Zhou Nathanael Scharli Le Hou Jason W. Wei Nathan Scales ... Dale Schuurmans Claire Cui Olivier Bousquet Quoc Le Ed H. Chi RALM LRM AI4CE 12 1,043 0 21 May 2022
Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review Kyle Hamilton Aparna Nayak Bojan Bozic Luca Longo NAI 29 57 0 24 Feb 2022
HAKE: A Knowledge Engine Foundation for Human Activity Understanding Yong-Lu Li Xinpeng Liu Xiaoqian Wu Yizhuo Li Zuoyu Qiu Liang Xu Yue Xu Haoshu Fang Cewu Lu 32 38 0 14 Feb 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AI Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 20 7 0 31 Dec 2021
Neuro-Symbolic Hierarchical Rule Induction Claire Glanois Xuening Feng Zhaohui Jiang Paul Weng Matthieu Zimmer Dong Li Wulong Liu NAI 36 23 0 26 Dec 2021
Neuro-Symbolic Reinforcement Learning with First-Order Logic Daiki Kimura Masaki Ono Subhajit Chaudhury Ryosuke Kohita Akifumi Wachi Don Joven Agravante Michiaki Tatsubori Asim Munawar Alexander G. Gray NAI 29 37 0 21 Oct 2021
Weakly Supervised Explainable Phrasal Reasoning with Neural Fuzzy Logic Zijun Wu Zi Xuan Zhang Atharva Naik Zhijian Mei Mauajama Firdaus Lili Mou LRM NAI 44 14 0 18 Sep 2021
Neural Unification for Logic Reasoning over Natural Language Gabriele Picco Hoang Thanh Lam M. Sbodio Vanessa Lopez Garcia NAI LRM 25 13 0 17 Sep 2021
Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization Zachary Susskind Bryce Arden L. John Patrick A Stockton E. John NAI 30 40 0 13 Sep 2021
Eye of the Beholder: Improved Relation Generalization for Text-based Reinforcement Learning Agents K. Murugesan Subhajit Chaudhury Kartik Talamadupula 30 5 0 09 Jun 2021
Relational Reasoning Networks G. Marra Michelangelo Diligenti Francesco Giannini NAI 29 4 0 01 Jun 2021
EXplainable Neural-Symbolic Learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use case Natalia Díaz Rodríguez Alberto Lamas Jules Sanchez Gianni Franchi Ivan Donadello Siham Tabik David Filliat P. Cruz Rosana Montes Francisco Herrera 49 77 0 24 Apr 2021
Learning Symbolic Rules for Interpretable Deep Reinforcement Learning Zhihao Ma Yuzheng Zhuang Paul Weng Hankui Zhuo Dong Li Wulong Liu Jianye Hao NAI 51 14 0 15 Mar 2021
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 65 292 0 10 Dec 2020
Modeling Content and Context with Deep Relational Learning Maria Leonor Pacheco Dan Goldwasser NAI 41 34 0 20 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
Neural Logic Reasoning Shaoyun Shi H. Chen Weizhi Ma Jiaxin Mao Min Zhang Yongfeng Zhang NAI LRM AI4CE 18 94 0 20 Aug 2020
Beyond Graph Neural Networks with Lifted Relational Neural Networks Gustav Sourek F. Železný Ondrej Kuzelka NAI 41 17 0 13 Jul 2020
Relational Neural Machines G. Marra Michelangelo Diligenti Francesco Giannini Marco Gori Marco Maggini NAI BDL 25 38 0 06 Feb 2020
Neural Logic Networks Shaoyun Shi Hanxiong Chen Min Zhang Yongfeng Zhang NAI AI4CE 7 15 0 17 Oct 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 30 542 0 18 Jul 2019
Declarative Learning-Based Programming as an Interface to AI Systems Parisa Kordjamshidi Dan Roth Kristian Kersting 17 4 0 18 Jun 2019
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 28 97 0 24 May 2019
Neural Logic Reinforcement Learning Zhengyao Jiang Shan Luo NAI 27 71 0 24 Apr 2019
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Z. Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 716 6,746 0 26 Sep 2016