AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning. - Janis Zenkner; Lukas Dierkes; Tobias Sesterhenn; Chrisitan Bartelt (CoRR, 2024)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model. - Janis Zenkner; Tobias Sesterhenn; Christian Bartelt (CoRR, 2025)

Transductively Informed Inductive Program Synthesis. - Janis Zenkner; Tobias Sesterhenn; Christian Bartelt (CoRR, 2025)

A Compute-Matched Re-Evaluation of TroVE on MATH. - Tobias Sesterhenn; Ian Berlot-Attwell; Janis Zenkner; Christian Bartelt (CoRR, 2025)