Janis Zenkner

According to our database, Janis Zenkner authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

A Compute-Matched Re-Evaluation of TroVE on MATH.

Tobias Sesterhenn, Ian Berlot-Attwell, Janis Zenkner, Christian Bartelt

CoRR, July, 2025

Transductively Informed Inductive Program Synthesis.

Janis Zenkner, Tobias Sesterhenn, Christian Bartelt

CoRR, May, 2025

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model.

Janis Zenkner, Tobias Sesterhenn, Christian Bartelt

CoRR, March, 2025

2024

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning.

Janis Zenkner, Lukas Dierkes, Tobias Sesterhenn, Chrisitan Bartelt

CoRR, 2024