Neural Guided Constraint Logic Programming for Program Synthesis

Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William Byrd, Matthew Might, Raquel Urtasun, Richard Zemel

Feb-13-2026, 00:55:17 GMT–Neural Information Processing Systems

We take integrating with a symbolic system further: we use its internal representation as input to the neural model.

artificial intelligence, constraint, machine learning, (19 more...)

Neural Information Processing Systems

Feb-13-2026, 00:55:17 GMT

Conferences PDF

Country:
- North America > Canada
  - Ontario > Toronto (0.04)
  - Quebec > Montreal (0.04)
- Oceania > Australia
  - New South Wales > Sydney (0.04)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.50)
  - Representation & Reasoning (0.70)

Duplicate Docs Excel Report

Title
Neural Guided Constraint Logic Programming for Program Synthesis
Neural Guided Constraint Logic Programming for Program Synthesis

Similar Docs Excel Report more

Title	Similarity	Source
None found