arrow
返回

Neurosymbolic Programming

delete2021-01-01
delete43
delete
OA
AI
S
Swarat Chaudhuri *
K
Kevin Ellis
O
Oleksandr Polozov
R
Rishabh Singh
A
Armando Solar-Lezama
Y
Yisong Yue
DOI:10.1561/2500000049delete
delete原文链接
delete分享
delete收藏
摘要

摘要

En 中文
We survey recent work on neurosymbolic programming, an emerging area that bridges the areas of deep learning and program synthesis. Like in classic machine learning, the goal here is to learn functions from data. However, these functions are represented as programs that can use neural modules in addition to symbolic primitives and are induced using a combination of symbolic search and gradient-based optimization. Neurosymbolic programming can offer multiple advantages over end-to-end deep learning. Programs can sometimes naturally represent long-horizon, procedural tasks that are difficult to perform using deep networks. Neurosymbolic representations are also, commonly, easier to interpret and formally verify than neural networks. The restrictions of a programming language can serve as a form of regularization and lead to more generalizable and data-efficient learning. Compositional programming abstractions can also be a natural way of reusing learned modules across learning tasks. In this monograph, we illustrate these potential benefits with concrete examples from recent work on neurosymbolic programming. We also categorize the main ways in which symbolic and neural learning techniques come together in this area. We conclude with a discussion of the open technical challenges in the field.
Keyword:
FRAMEWORK
RULES

期刊

F
Foundations and Trends in Programming Languages
IF:
0.5
论文数:
8
被引数:
130

机构

U
university of texas austin
学者数:
2.4W
论文数: 2.0W
被引数: 54
U
university of texas system
学者数:
18.5W
论文数: 15.6W
被引数: 210
M
Microsoft
学者数:
3.0K
论文数: 2.7K
被引数: 7
C
Cornell University
学者数:
6.3W
论文数: 5.4W
被引数: 10.9W
G
Google Incorporated
学者数:
3.5K
论文数: 1.8K
被引数: 8
学者 查看更多机构
引用论文

引用论文

暂无论文信息