Active Learning for Neurosymbolic Program Synthesis

The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction. While prior work has explored active learning in the purely symbolic setting, such techniques are inadequate for the increasingly popular paradigm of ne...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 9; no. OOPSLA2; pp. 1455 - 1483
Main Authors:	Barnaby, Celeste, Chen, Qiaochu, Ramalingam, Ramya, Bastani, Osbert, Dillig, Işıl
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 09.10.2025
Subjects:	Automatic programming Software and its engineering Neurosymbolic Synthesis Conformal Prediction Active Learning Program Synthesis
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!