Learning to Execute

17 October 2014

Papers citing "Learning to Execute"

50 / 109 papers shown

Title
Efficient Reinforcement Finetuning via Adaptive Curriculum Learning Taiwei Shi Yiyang Wu Linxin Song Dinesh Manocha Jieyu Zhao LRM 83 1 0 07 Apr 2025
L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution Simeng Sun Cheng-Ping Hsieh Faisal Ladhak Erik Arakelyan Santiago Akle Serano Boris Ginsburg ReLM ELM LRM 154 0 0 28 Mar 2025
Learning to Chain Operations by Routing Information Through a Global Workspace Hugo Chateau-Laurent Rufin VanRullen LRM 42 0 0 28 Feb 2025
LeanAgent: Lifelong Learning for Formal Theorem Proving Adarsh Kumarappan Mo Tiwari Peiyang Song Robert Joseph George Chaowei Xiao Anima Anandkumar CLL LLMAG LRM 74 8 0 08 Oct 2024
Learning Program Behavioral Models from Synthesized Input-Output Pairs Tural Mammadov Dietrich Klakow Alexander Koller Andreas Zeller 45 3 0 11 Jul 2024
Progressive Growing of Patch Size: Resource-Efficient Curriculum Learning for Dense Prediction Tasks Stefan M. Fischer Lina Felsner Richard Osuala Johannes Kiechle Daniel M. Lang J. Peeken Julia A. Schnabel 32 3 0 10 Jul 2024
Neural Algorithmic Reasoning Without Intermediate Supervision Gleb Rodionov Liudmila Prokhorenkova OffRL LRM OOD 31 10 0 23 Jun 2023
Stochastic Re-weighted Gradient Descent via Distributionally Robust Optimization Ramnath Kumar Kushal Majmundar Dheeraj M. Nagaraj A. Suggala ODL 29 6 0 15 Jun 2023
Proximal Curriculum for Reinforcement Learning Agents Georgios Tzannetos Bárbara Gomes Ribeiro Parameswaran Kamalaruban Adish Singla 32 5 0 25 Apr 2023
Stochastic Code Generation Swapnil Sharma Nikita Anand V. KranthiKiranG. SyDa 30 0 0 14 Apr 2023
Neuro-Symbolic Execution of Generic Source Code Yaojie Hu Jin Tian NAI 30 0 0 23 Mar 2023
Generate, Transform, Answer: Question Specific Tool Synthesis for Tabular Data Carlos Gemmell Jeffrey Stephen Dalton LMTD 30 13 0 17 Mar 2023
A Mathematical Model for Curriculum Learning for Parities Elisabetta Cornacchia Elchanan Mossel 40 10 0 31 Jan 2023
Generalization on the Unseen, Logic Reasoning and Degree Curriculum Emmanuel Abbe Samy Bengio Aryo Lotfi Kevin Rizk LRM 39 49 0 30 Jan 2023
Metaphors We Learn By Roland Memisevic 29 0 0 11 Nov 2022
CRISP: Curriculum based Sequential Neural Decoders for Polar Code Family Ashwin Hebbar Viraj Nadkarni Ashok Vardhan Makkuva S. Bhat Sewoong Oh Pramod Viswanath 30 6 0 01 Oct 2022
The CLRS Algorithmic Reasoning Benchmark Petar Velivcković Adria Puigdomenech Badia David Budden Razvan Pascanu Andrea Banino Mikhail Dashevskiy R. Hadsell Charles Blundell 163 88 0 31 May 2022
A Neural Network Architecture for Program Understanding Inspired by Human Behaviors Renyu Zhu Lei Yuan Xiang Li Ming Gao Wenyuan Cai 29 8 0 10 May 2022
Compositional Generalization and Decomposition in Neural Program Synthesis Kensen Shi Joey Hong Manzil Zaheer Pengcheng Yin Charles Sutton 37 5 0 07 Apr 2022
Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions David Bieber Rishab Goel Daniel Zheng Hugo Larochelle Daniel Tarlow 16 15 0 07 Mar 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 395 8,559 0 28 Jan 2022
Show Your Work: Scratchpads for Intermediate Computation with Language Models Maxwell Nye Anders Andreassen Guy Gur-Ari Henryk Michalewski Jacob Austin ... Aitor Lewkowycz Maarten Bosma D. Luan Charles Sutton Augustus Odena ReLM LRM 59 702 0 30 Nov 2021
State-Space Constraints Improve the Generalization of the Differentiable Neural Computer in some Algorithmic Tasks P. Ofner Roman Kern 27 1 0 18 Oct 2021
Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics Sean Welleck Peter West Jize Cao Yejin Choi 16 28 0 28 Sep 2021
Evaluating Large Language Models Trained on Code Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Pondé ... Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever Wojciech Zaremba ELM ALM 78 5,082 0 07 Jul 2021
Latent Execution for Neural Program Synthesis Xinyun Chen D. Song Yuandong Tian NAI 21 52 0 29 Jun 2021
Curriculum generation using Autoencoder based continuous optimization Dipankar Sarkar Mukur Gupta 22 0 0 16 Jun 2021
Going Beyond Linear Transformers with Recurrent Fast Weight Programmers Kazuki Irie Imanol Schlag Róbert Csordás Jürgen Schmidhuber 33 57 0 11 Jun 2021
Gradual Domain Adaptation in the Wild:When Intermediate Distributions are Absent Samira Abnar Rianne van den Berg Golnaz Ghiasi Mostafa Dehghani Nal Kalchbrenner Hanie Sedghi OOD CLL TTA 28 21 0 10 Jun 2021
MLBiNet: A Cross-Sentence Collective Event Detection Network Dongfang Lou Zhilin Liao Shumin Deng Ningyu Zhang Huajun Chen BDL 17 55 0 20 May 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 347 0 18 Feb 2021
Automated Curriculum Learning for Embodied Agents: A Neuroevolutionary Approach Nicola Milano S. Nolfi 92 10 0 17 Feb 2021
Neural Sequence-to-grid Module for Learning Symbolic Rules Segwang Kim Hyoungwook Nam Joonyoung Kim Kyomin Jung NAI 72 11 0 13 Jan 2021
Parameter Efficient Deep Neural Networks with Bilinear Projections Litao Yu Yongsheng Gao Jun Zhou Jian Zhang 21 1 0 03 Nov 2020
A Survey on Curriculum Learning Xin Wang Yudong Chen Wenwu Zhu SyDa 32 22 0 25 Oct 2020
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks David Bieber Charles Sutton Hugo Larochelle Daniel Tarlow GNN 21 43 0 23 Oct 2020
Training Stronger Baselines for Learning to Optimize Tianlong Chen Weiyi Zhang Jingyang Zhou Shiyu Chang Sijia Liu Lisa Amini Zhangyang Wang OffRL 25 51 0 18 Oct 2020
SIGL: Securing Software Installations Through Deep Graph Learning Xueyuan Han Xiao Yu Thomas Pasquier Ding Li J. Rhee James W. Mickens Margo Seltzer Haifeng Chen 18 49 0 26 Aug 2020
Progress Extrapolating Algorithmic Learning to Arbitrary Sequence Lengths Andreas Robinson 42 0 0 18 Mar 2020
Synthetic Data for Deep Learning Sergey I. Nikolenko 46 348 0 25 Sep 2019
Multimodal Deep Models for Predicting Affective Responses Evoked by Movies Ha Thi Phuong Thao Dorien Herremans Gemma Roig 31 16 0 16 Sep 2019
Combining Learned Representations for Combinatorial Optimization Saavan Patel Sayeef Salahuddin AI4CE 20 1 0 09 Sep 2019
Learning to Sit: Synthesizing Human-Chair Interactions via Hierarchical Control Yu-Wei Chao Jimei Yang Weifeng Chen Jia Deng 24 42 0 20 Aug 2019
Language2Pose: Natural Language Grounded Pose Forecasting Chaitanya Ahuja Louis-Philippe Morency 27 266 0 02 Jul 2019
Growing Action Spaces Gregory Farquhar Laura Gustafson Zeming Lin Shimon Whiteson Nicolas Usunier Gabriel Synnaeve 14 38 0 28 Jun 2019
Discrete Flows: Invertible Generative Models of Discrete Data Dustin Tran Keyon Vafa Kumar Krishna Agrawal Laurent Dinh Ben Poole DRL 24 114 0 24 May 2019
Hierarchical Recurrent Neural Network for Video Summarization Bin Zhao Xuelong Li Xiaoqiang Lu 17 174 0 28 Apr 2019
A review on Neural Turing Machine Soroor Malekmohamadi Faradonbe Faramarz Safi Esfahani AI4CE 24 6 0 10 Apr 2019
On The Power of Curriculum Learning in Training Deep Networks Guy Hacohen D. Weinshall ODL 19 438 0 07 Apr 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 19 414 0 02 Apr 2019