Learning Differentiable Programs with Admissible Neural Heuristics

Learning Differentiable Programs with Admissible Neural Heuristics

23 July 2020

Jennifer J. Sun

Swarat Chaudhuri

Papers citing "Learning Differentiable Programs with Admissible Neural Heuristics"

8 / 8 papers shown

Title
Scallop: A Language for Neurosymbolic Programming Ziyang Li Jiani Huang Mayur Naik ReLM LRM NAI 16 30 0 10 Apr 2023
Neurosymbolic Programming for Science Jennifer J. Sun Megan Tjandrasuwita Atharva Sehgal Armando Solar-Lezama Swarat Chaudhuri Yisong Yue Omar Costilla-Reyes NAI 35 12 0 10 Oct 2022
From Perception to Programs: Regularize, Overparameterize, and Amortize Hao Tang Kevin Ellis NAI 22 10 0 13 Jun 2022
Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis Albert Tseng Jennifer J. Sun Yisong Yue 29 9 0 30 Nov 2021
Neural Program Generation Modulo Static Analysis Rohan Mukherjee Yeming Wen Dipak Chaudhari Thomas W. Reps Swarat Chaudhuri C. Jermaine 28 24 0 26 Oct 2021
Interpreting Expert Annotation Differences in Animal Behavior Megan Tjandrasuwita Jennifer J. Sun Ann Kennedy Swarat Chaudhuri Yisong Yue 12 8 0 11 Jun 2021
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments Yichen Yang J. Inala Osbert Bastani Yewen Pu Armando Solar-Lezama Martin Rinard 31 12 0 22 Feb 2021
Neural Architecture Search with Reinforcement Learning Barret Zoph Quoc V. Le 264 5,326 0 05 Nov 2016