• Login
      • Login
    • Home
    • About
    • A Brief History of AI
    • AI-Alerts
    • AI Magazine
    • AAAI Conferences
    • NeurIPS
    • Books
    • Classics
    • Login
      • Home
      • About
      • A Brief History of AI
      • AI-Alerts
      • AI Magazine
      • AAAI Conferences
      • NeurIPS
      • Books
      • Classics
        • Login
      • Login
        • Home
        • About
        • A Brief History of AI
        • AI-Alerts
        • AI Magazine
        • AAAI Conferences
        • NeurIPS
        • Books
        • Classics
          • Login
        • Login
      • AITopics

        An official publication of the AAAI.

          powered by
          i2k Connect

              • Login
            • Login
          • AITopics

            An official publication of the AAAI.

                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

                Add feedback

                • Country:
                  • Oceania > Australia
                    • New South Wales > Sydney (0.04)
                  • North America
                    • United States
                      • Alabama (0.04)
                      • Illinois > Cook County
                        • Chicago (0.04)
                    • Canada
                      • Ontario > Toronto (0.14)
                      • Quebec > Montreal (0.04)
                  • Europe > Slovenia
                    • Drava > Municipality of Benedikt > Benedikt (0.04)
                • Genre:
                  • Research Report (0.93)
                • Industry:
                  • Education (0.68)
                • Technology:
                  • Information Technology > Artificial Intelligence
                    • Representation & Reasoning
                      • Search (1.00)
                      • Logic & Formal Reasoning (1.00)
                      • Constraint-Based Reasoning (1.00)
                    • Machine Learning > Neural Networks
                      • Deep Learning (0.71)

                • By text
                • By views
                • By concept tags

                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

                TitleSimilaritySource
                None found

                Site Feedback

                © 2026, i2k Connect Inc  ·  All Rights Reserved.
                Privacy policy  ·  Terms of use  ·  License  ·  Legal Notices
                This is i2kweb version 7.1.0-SNAPSHOT. Logged in as aitopics-guest for 59 more minutes (idle timeout).

                Site Feedback

                powered by
                i2k Connect

                 Learn more ยป 

                Add feedback

                Send feedback to help us improve this new enhanced search experience.

                Thank You!