2 papers
cs.CL2026
Free Lunch for Pass@? Low Cost Diverse Sampling for Diffusion Language Models
Sean Lamont, Christian Walder, Paul Montague +2
Diverse outputs in text generation are necessary for effective exploration in complex reasoning tasks, such as code generation and mathematical problem solving. Such Pass@ probl…
cs.AI2025
3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
Sean Lamont, Christian Walder, Amir Dezfouli +2
A key challenge in automated formal reasoning is the intractable search space, which grows exponentially with the depth of the proof. This branching is caused by the large number o…