Learning programs by learning from failures

5 May 2020

Papers citing "Learning programs by learning from failures"

19 / 19 papers shown

Title
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
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
Relational decomposition for program synthesis Céline Hocquette Andrew Cropper 39 4 0 22 Aug 2024
Can humans teach machines to code? Céline Hocquette Johannes Langer Andrew Cropper Ute Schmid 11 0 0 30 Apr 2024
Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate J. Stevens V. Bulitko David Thue 16 1 0 04 Aug 2023
Generalisation Through Negation and Predicate Invention David M. Cerna Andrew Cropper NAI 24 3 0 18 Jan 2023
Relational program synthesis with numerical reasoning Céline Hocquette Andrew Cropper ReCod NAI 31 2 0 03 Oct 2022
Constraint-driven multi-task learning B. Crețu Andrew Cropper 27 1 0 24 Aug 2022
CORNET: Learning Table Formatting Rules By Example Mukul Singh J. Cambronero Sumit Gulwani Vu Le Carina Negreanu Mohammad Raza Gust Verbruggen LMTD 53 8 0 11 Aug 2022
Learning logic programs by combining programs Andrew Cropper Céline Hocquette AI4CE 15 7 0 01 Jun 2022
Efficient lifting of symmetry breaking constraints for complex combinatorial problems Alice Tarzariol M. Gebser Mark Law Konstantin Schekotihin 8 2 0 14 May 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 30 22 0 26 Dec 2021
Rule Induction in Knowledge Graphs Using Linear Programming S. Dash Joao Goncalves 26 5 0 15 Oct 2021
Predicate Invention by Learning From Failures Andrew Cropper Rolf Morel 16 12 0 29 Apr 2021
Conflict-driven Inductive Logic Programming Mark Law 24 11 0 31 Dec 2020
Making sense of sensory input Maciej Wołczyk Jacek Tabor Johannes Welbl Szymon Maszke Marek Sergot 19 52 0 05 Oct 2019
Building machines that adapt and compute like brains Brenden Lake J. Tenenbaum AI4CE FedML NAI AILaw 254 890 0 11 Nov 2017