Neural Guided Constraint Logic Programming for Program Synthesis
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William Byrd, Matthew Might, Raquel Urtasun, Richard Zemel
–Neural Information Processing Systems
Crucially, the neural model uses miniKanren's
Neural Information Processing Systems
Nov-20-2025, 17:02:41 GMT
- Country:
- Oceania > Australia
- New South Wales > Sydney (0.04)
- North America
- United States
- Alabama (0.04)
- Illinois > Cook County
- Chicago (0.04)
- Canada
- United States
- Europe > Slovenia
- Drava > Municipality of Benedikt > Benedikt (0.04)
- Oceania > Australia
- Genre:
- Research Report (0.93)
- Industry:
- Education (0.68)
- Technology: