Neural Guided Constraint Logic Programming for Program Synthesis

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

Nov-20-2025, 17:02:41 GMT–Neural Information Processing Systems

Crucially, the neural model uses miniKanren's

constraint, logic & formal reasoning, machine learning, (17 more...)

Neural Information Processing Systems

Nov-20-2025, 17:02:41 GMT

Conferences PDF

Country:
- Europe > Slovenia
  - Drava > Municipality of Benedikt > Benedikt (0.04)
- North America
  - Canada
    - Ontario > Toronto (0.14)
    - Quebec > Montreal (0.04)
  - United States
    - Alabama (0.04)
    - Illinois > Cook County
      - Chicago (0.04)
- Oceania > Australia
  - New South Wales > Sydney (0.04)

Genre:
- Research Report (0.93)

Industry:
- Education (0.68)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.71)
  - Representation & Reasoning
    - Constraint-Based Reasoning (1.00)
    - Logic & Formal Reasoning (1.00)
    - Search (1.00)

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