Neurosymbolic Programming for Science

Neurosymbolic Programming for Science

10 October 2022

Jennifer J. Sun

Megan Tjandrasuwita

Armando Solar-Lezama

Swarat Chaudhuri

Omar Costilla-Reyes

Papers citing "Neurosymbolic Programming for Science"

10 / 10 papers shown

Title
Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment Lauren Okamoto Paritosh Parmar 18 0 0 20 Mar 2024
SymbolicAI: A framework for logic-based approaches combining generative models and solvers Marius-Constantin Dinu Claudiu Leoveanu-Condrei Markus Holzleitner Werner Zellinger Sepp Hochreiter 30 8 0 01 Feb 2024
Smoothing Methods for Automatic Differentiation Across Conditional Branches J. N. Kreikemeyer Philipp Andelfinger 30 6 0 05 Oct 2023
Natural Language Commanding via Program Synthesis Apurva Gandhi Thong Q. Nguyen Huitian Jiao R. Steen Ameya Bhatawdekar 19 7 0 06 Jun 2023
Grammar Prompting for Domain-Specific Language Generation with Large Language Models Bailin Wang Zi Wang Xuezhi Wang Yuan Cao Rif A. Saurous Yoon Kim ReLM LRM 19 21 0 30 May 2023
Open-Source Tools for Behavioral Video Analysis: Setup, Methods, and Development Kevin Luxem Jennifer J. Sun S. P. Bradley K. Krishnan Eric A. Yttri Jan Zimmermann Talmo D. Pereira M. Laubach 18 35 0 06 Apr 2022
Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis Albert Tseng Jennifer J. Sun Yisong Yue 29 9 0 30 Nov 2021
Unsupervised Learning of Neurosymbolic Encoders Eric Zhan Jennifer J. Sun Ann Kennedy Yisong Yue Swarat Chaudhuri 8 13 0 28 Jul 2021
Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah Eric Zhan Jennifer J. Sun Abhinav Verma Yisong Yue Swarat Chaudhuri 126 43 0 23 Jul 2020
Towards A Rigorous Science of Interpretable Machine Learning Finale Doshi-Velez Been Kim XAI FaML 225 3,658 0 28 Feb 2017