Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms
Janis Zenkner, Tobias Sesterhenn, Christian Bartelt
Traditionally, in Programming-by-example (PBE) the goal is to synthesize a program from a small set of input-output examples. Lately, PBE has gained traction as a few-shot reasonin…
cs.PL2025
A Compute-Matched Re-Evaluation of TroVE on MATH
Tobias Sesterhenn, Ian Berlot-Attwell, Janis Zenkner +1
Reusing established theorems and formulas is central to mathematical problem solving, serving as essential building blocks for tackling increasingly complex challenges. Recent work…