Neurosymbolic Programming for Science

10/10/2022
by   Jennifer J. Sun, et al.
23

Neurosymbolic Programming (NP) techniques have the potential to accelerate scientific discovery across fields. These models combine neural and symbolic components to learn complex patterns and representations from data, using high-level concepts or known constraints. As a result, NP techniques can interface with symbolic domain knowledge from scientists, such as prior knowledge and experimental context, to produce interpretable outputs. Here, we identify opportunities and challenges between current NP models and scientific workflows, with real-world examples from behavior analysis in science. We define concrete next steps to move the NP for science field forward, to enable its use broadly for workflows across the natural and social sciences.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/27/2016

Theory-guided Data Science: A New Paradigm for Scientific Discovery from Data

Data science models, although successful in a number of commercial domai...
research
05/03/2023

Automated Scientific Discovery: From Equation Discovery to Autonomous Discovery Systems

The paper surveys automated scientific discovery, from equation discover...
research
10/02/2022

AI-Assisted Discovery of Quantitative and Formal Models in Social Science

In social science, formal and quantitative models, such as ones describi...
research
12/07/2021

Accelerating Understanding of Scientific Experiments with End to End Symbolic Regression

We consider the problem of learning free-form symbolic expressions from ...
research
07/30/2023

Knowledge Consilience: One Culture, Two Cultures or Many Cultures?

The hostility between the two cultures, scientific and literary, was fra...
research
10/13/2021

A Field Guide to Scientific XAI: Transparent and Interpretable Deep Learning for Bioinformatics Research

Deep learning has become popular because of its potential to achieve hig...
research
08/02/2023

LLMs Understand Glass-Box Models, Discover Surprises, and Suggest Repairs

We show that large language models (LLMs) are remarkably good at working...

Please sign up or login with your details

Forgot password? Click here to reset