conftrace_

inductive program synthesis

5 papers

Explore in graph

Also known as

IPS

Co-occurring keywords · papers mentioning both

looping program (1) knowledge refactoring (1) loop program (1) automated refactoring (1) library learning (1) constraint optimisation (1) neuro-symbolic framework (1) logic program (1) neural network (1) hill climbing (1)

Papers

Can Humans Teach Machines to Code? AAAI 2026 Combining Induction and Transduction for Abstract Reasoning ICLR 2025 LILO: Learning Interpretable Libraries by Compressing and Documenting Code ICLR 2024 Knowledge Refactoring for Inductive Program Synthesis AAAI 2021 Stepping Stones to Inductive Synthesis of Low-Level Looping Programs AAAI 2019