Cover Image

LILO: Learning Interpretable Libraries by Compressing and Documenting Code

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Grand, Gabriel, Wong, Lionel, Bowers, Maddy, Olausson, Theo X., Liu, Muxin, Tenenbaum, Joshua B., Andreas, Jacob
Format:	Preprint
Published:	2023
Subjects:	Computation and Language Artificial Intelligence Machine Learning Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Is Self-Repair a Silver Bullet for Code Generation?
by: Olausson, Theo X., et al.
Published: (2023)

Shoot First, Ask Questions Later? Building Rational Agents that Explore and Act Like People
by: Grand, Gabriel, et al.
Published: (2025)

Loose LIPS Sink Ships: Asking Questions in Battleship with Language-Informed Program Sampling
by: Grand, Gabriel, et al.
Published: (2024)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
by: Wong, Lionel, et al.
Published: (2025)

Self-Steering Language Models
by: Grand, Gabriel, et al.
Published: (2025)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
by: Olausson, Theo X., et al.
Published: (2023)

Code-enabled language models can outperform reasoning models on diverse tasks
by: Zhang, Cedegao E., et al.
Published: (2025)

LILO: Bayesian Optimization with Natural Language Feedback
by: Kobalczyk, Katarzyna, et al.
Published: (2025)

Using Code Snippets to Teach Programming Languages
by: Akingbade, Joshua, et al.
Published: (2025)

Understanding Epistemic Language with a Language-augmented Bayesian Theory of Mind
by: Ying, Lance, et al.
Published: (2024)

Finding structure in logographic writing with library learning
by: Jiang, Guangyuan, et al.
Published: (2024)

Grounding Language about Belief in a Bayesian Theory-of-Mind
by: Ying, Lance, et al.
Published: (2024)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
by: Chen, Yijia, et al.
Published: (2024)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

Stream of Search (SoS): Learning to Search in Language
by: Gandhi, Kanishk, et al.
Published: (2024)

On Code-Induced Reasoning in LLMs
by: Waheed, Abdul, et al.
Published: (2025)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
by: Huang, Siming, et al.
Published: (2024)

Constrained Code Generation with Discrete Diffusion
by: Shao, Lize, et al.
Published: (2026)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization
by: Zhao, Yang, et al.
Published: (2024)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
by: Lamouri, Djamel Rassem, et al.
Published: (2025)

Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility
by: Maveli, Nickil, et al.
Published: (2026)

Abstracting Denotational Interpreters
by: Graf, Sebastian, et al.
Published: (2024)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
by: Andrici, Cezar-Constantin, et al.
Published: (2025)

Numerical Superoptimization for Library Learning
by: Regehr, Jonas, et al.
Published: (2026)

Hear Your Code Fail, Voice-Assisted Debugging for Python
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
by: Gao, Jun, et al.
Published: (2025)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
by: Lin, Honglin, et al.
Published: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

Debugging Functional Programs by Interpretation
by: Whitington, John
Published: (2024)

Pareto Optimal Code Generation
by: Orlanski, Gabriel, et al.
Published: (2025)

LLM4Decompile: Decompiling Binary Code with Large Language Models
by: Tan, Hanzhuo, et al.
Published: (2024)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
by: Xin, Yutong, et al.
Published: (2025)

Towards a Coq-verified Chain of Esterel Semantics
by: Berry, Gérard, et al.
Published: (2019)

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

Towards Definitional Interpreters for Hoare Logics
by: Sun, Ke, et al.
Published: (2026)

CodeMind: Evaluating Large Language Models for Code Reasoning
by: Liu, Changshu, et al.
Published: (2024)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

How Programming Concepts and Neurons Are Shared in Code Language Models
by: Kargaran, Amir Hossein, et al.
Published: (2025)

McEval: Massively Multilingual Code Evaluation
by: Chai, Linzheng, et al.
Published: (2024)