conftrace_

library learning

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

program abstraction (1) inductive program synthesis (1) lemma reuse (1) automated refactoring (1) natural language annotation (1) neuro-symbolic framework (1) search heuristic (1) computational efficiency (1) evaluation methodology (1) program synthesis (1)

Papers

Is This LLM Library Learning? Evaluation Must Account For Compute and Behaviour EACL 2026 LILO: Learning Interpretable Libraries by Compressing and Documenting Code ICLR 2024 Leveraging Language to Learn Program Abstractions and Search Heuristics ICML 2021