Neural Guided Constraint Logic Programming for Program Synthesis

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

Mar-26-2025, 05:12:00 GMT–Neural Information Processing Systems

Neural Information Processing Systems http://nips.cc/

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

Neural Information Processing Systems

Mar-26-2025, 05:12:00 GMT

Conferences PDF

Country:
- North America
  - Canada (0.46)
  - United States (0.28)

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)