v1v2v3 (latest)

Programming with a Differentiable Forth Interpreter

21 May 2016

Papers citing "Programming with a Differentiable Forth Interpreter"

50 / 76 papers shown

Title
CALM: Contextual Analog Logic with Multimodality Maxwell J. Jacobson Corey J. Maley Yexiang Xue 79 0 0 17 Jun 2025
Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models X. Wang Haoyang Li Zeyang Zhang Zeyang Zhang Wenwu Zhu LRM 205 1 0 28 Apr 2025
Toward Neurosymbolic Program ComprehensionIEEE International Conference on Program Comprehension (ICPC), 2025 Alejandro Velasco Aya Garryyeva David Nader-Palacio Antonio Mastropaolo Denys Poshyvanyk 159 0 0 03 Feb 2025
NExT: Teaching Large Language Models to Reason about Code Execution Ansong Ni Miltiadis Allamanis Arman Cohan Yinlin Deng Kensen Shi Charles Sutton Pengcheng Yin ReLM LRM 175 57 0 23 Apr 2024
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints Kareem Ahmed Kai-Wei Chang Karen Ullrich 251 15 0 06 Dec 2023
Learning Differentiable Logic Programs for Abstract Visual ReasoningMachine-mediated learning (ML), 2023 Hikaru Shindo Viktor Pfanschilling Devendra Singh Dhami Kristian Kersting NAI 180 13 0 03 Jul 2023
Neural Machine Translation for Code Generation K. Dharma Clayton T. Morrison 160 6 0 22 May 2023
Safety without alignment András Kornai M. Bukatin Zsolt Zombori LLMSV 144 1 0 27 Feb 2023
NESTER: An Adaptive Neurosymbolic Method for Causal Effect EstimationAAAI Conference on Artificial Intelligence (AAAI), 2022 Abbavaram Gowtham Reddy V. Balasubramanian CML 206 1 0 08 Nov 2022
How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition Jorge Armando Mendez Mendez Eric Eaton KELM CLL 182 33 0 15 Jul 2022
Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource DescriptionsInternational Conference on Learning Representations (ICLR), 2022 David Bieber Rishab Goel Daniel Zheng Hugo Larochelle Daniel Tarlow 82 15 0 07 Mar 2022
Neuro-Symbolic Entropy RegularizationConference on Uncertainty in Artificial Intelligence (UAI), 2022 Kareem Ahmed Eric Wang Kai-Wei Chang Karen Ullrich 166 25 0 25 Jan 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AIIEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2021 Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 201 13 0 31 Dec 2021
Learning to Synthesize Programs as Interpretable and Generalizable PoliciesNeural Information Processing Systems (NeurIPS), 2021 Dweep Trivedi Jesse Zhang Shao-Hua Sun Joseph J. Lim NAI 176 82 0 31 Aug 2021
DeepStochLog: Neural Stochastic Logic Programming Thomas Winters G. Marra Robin Manhaeve Luc de Raedt BDL NAI 163 73 0 23 Jun 2021
RotLSTM: Rotating Memories in Recurrent Neural Networks Vlad Velici Adam Prugel-Bennett RALM VLM 146 1 0 01 May 2021
Reconciling the Discrete-Continuous Divide: Towards a Mathematical Theory of Sparse Communication André F. T. Martins 126 1 0 01 Apr 2021
Robot Program Parameter Inference via Differentiable Shadow Program InversionIEEE International Conference on Robotics and Automation (ICRA), 2021 Bastian Alt Darko Katic Rainer Jäkel A. Bozcuoğlu Michael Beetz 129 10 0 26 Mar 2021
Reinforcement Learning of Implicit and Explicit Control Flow in InstructionsInternational Conference on Machine Learning (ICML), 2021 Ethan A. Brooks Janarthanan Rajendran Richard L. Lewis Satinder Singh 109 10 0 25 Feb 2021
Understanding in Artificial Intelligence S. Maetschke D. M. Iraola Pieter Barnard Elaheh Shafieibavani Peter Zhong Ying Xu Antonio Jimeno Yepes ELM VLM 97 0 0 17 Jan 2021
SuperCoder: Program Learning Under Noisy Conditions From Superposition of States A. Davody M. Safari Ruazvan V. Florian 187 0 0 07 Dec 2020
Neural-Symbolic Integration: A Compositional Perspective Efthymia Tsamoura Loizos Michael NAI 132 74 0 22 Oct 2020
Type-driven Neural Programming by Example Kiara Grouwstra NAI 235 1 0 28 Aug 2020
Learning Reasoning Strategies in End-to-End Differentiable ProvingInternational Conference on Machine Learning (ICML), 2020 Pasquale Minervini Sebastian Riedel Pontus Stenetorp Edward Grefenstette Tim Rocktaschel LRM 209 98 0 13 Jul 2020
Automatically Generating Codes from Graphical Screenshots Based on Deep Autocoder Xiaoling Huang Feng Liao 167 0 0 05 Jul 2020
From Statistical Relational to Neuro-Symbolic Artificial IntelligenceInternational Joint Conference on Artificial Intelligence (IJCAI), 2020 Luc de Raedt Sebastijan Dumancic Robin Manhaeve Giuseppe Marra NAI 157 123 0 18 Mar 2020
Deep Learning for Source Code Modeling and Generation: Models, Applications and ChallengesACM Computing Surveys (ACM CSUR), 2020 T. H. Le Hao Chen Muhammad Ali Babar VLM 181 164 0 13 Feb 2020
World Programs for Model-Based Learning and Planning in Compositional State and Action Spaces Marwin H. S. Segler 108 4 0 30 Dec 2019
Differentiable Reasoning on Large Knowledge Bases and Natural Language Pasquale Minervini Matko Bovsnjak Tim Rocktaschel Sebastian Riedel Edward Grefenstette LRM 150 93 0 17 Dec 2019
Deep symbolic regression: Recovering mathematical expressions from data via risk-seeking policy gradientsInternational Conference on Learning Representations (ICLR), 2019 Brenden K. Petersen Mikel Landajuela T. Nathan Mundhenk Claudio Santiago Soo K. Kim Joanne T. Kim 246 380 0 10 Dec 2019
Synthesizing Action Sequences for Modifying Model DecisionsAAAI Conference on Artificial Intelligence (AAAI), 2019 Goutham Ramakrishnan Yun Chan Lee Aws Albarghouthi 258 36 0 30 Sep 2019
TabFact: A Large-scale Dataset for Table-based Fact VerificationInternational Conference on Learning Representations (ICLR), 2019 Wenhu Chen Hongmin Wang Jianshu Chen Yunkai Zhang Hong Wang Shiyang Li Xiyou Zhou William Yang Wang LMTD 344 592 0 05 Sep 2019
Why Build an Assistant in Minecraft? Arthur Szlam Jonathan Gray Kavya Srinet Yacine Jernite Armand Joulin ... Siddharth Goyal Demi Guo Dan Rothermel C. L. Zitnick Jason Weston LLMAG 176 31 0 22 Jul 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 259 632 0 18 Jul 2019
Program Synthesis and Semantic Parsing with Learned Code IdiomsNeural Information Processing Systems (NeurIPS), 2019 Richard Shin Miltiadis Allamanis Marc Brockschmidt Oleksandr Polozov 194 88 0 26 Jun 2019
Declarative Learning-Based Programming as an Interface to AI SystemsFrontiers in Artificial Intelligence (FAI), 2019 Parisa Kordjamshidi Dan Roth Kristian Kersting 118 5 0 18 Jun 2019
Learning Compositional Neural Programs with Recursive Tree Search and PlanningNeural Information Processing Systems (NeurIPS), 2019 Thomas Pierrot Guillaume Ligner Scott E. Reed Olivier Sigaud Nicolas Perrin Alexandre Laterre David Kas Karim Beguir Nando de Freitas 205 41 0 30 May 2019
CraftAssist Instruction Parsing: Semantic Parsing for a Minecraft Assistant Yacine Jernite Kavya Srinet Jonathan Gray Arthur Szlam 89 8 0 17 Apr 2019
Learning to Infer Program Sketches Maxwell Nye Luke B. Hewitt J. Tenenbaum Armando Solar-Lezama NAI 192 116 0 17 Feb 2019
Learning to Infer and Execute 3D Shape Programs Yonglong Tian Andrew F. Luo Xingyuan Sun Kevin Ellis William T. Freeman J. Tenenbaum Jiajun Wu 3DV 191 152 0 09 Jan 2019
Sequential Coordination of Deep Models for Learning Visual Arithmetic Eric Crawford Guillaume Rabusseau Joelle Pineau 113 0 0 13 Sep 2018
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector Amit Zohar Lior Wolf 163 78 0 12 Sep 2018
Towards Dynamic Computation Graphs via Sparse Latent Structure Vlad Niculae André F. T. Martins Claire Cardie 96 21 0 03 Sep 2018
Towards Neural Theorem Proving at Scale Pasquale Minervini Matko Bosnjak Tim Rocktaschel Sebastian Riedel LRM NAI 140 38 0 21 Jul 2018
Genetic algorithms with DNN-based trainable crossover as an example of partial specialization of general searchArtificial General Intelligence (AGI), 2017 A. Potapov S. Rodionov 60 5 0 18 Jul 2018
Automatically Composing Representation Transformations as a Means for Generalization Michael Chang Abhishek Gupta Sergey Levine Thomas Griffiths 145 73 0 12 Jul 2018
Program Synthesis from Visual Specification Evan Hernandez Ara Vartanian Xiaojin Zhu 137 0 0 04 Jun 2018
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis Rudy Bunel Matthew J. Hausknecht Jacob Devlin Rishabh Singh Pushmeet Kohli NAI 239 224 0 11 May 2018
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples Ashwin J. Vijayakumar Abhishek Mohta Oleksandr Polozov Dhruv Batra Prateek Jain Sumit Gulwani NAI 200 172 0 03 Apr 2018
HOUDINI: Lifelong Learning as Program Synthesis Lazar Valkov Dipak Chaudhari Akash Srivastava Charles Sutton Swarat Chaudhuri 143 85 0 31 Mar 2018