paper-with-me

Papers

Test-Time Scaling for CAD Generation via Verifier-Free Consensus Selection

2026-08-10 · Aaron Haag, Altay Kacan, Bertram Fuchs, Oliver Lohse arxiv

Large language models can write parametric CAD programs from a natural-language description (text-to-CAD generation), but a single sample is often wrong. Increasing test-time compute by sampling multiple candidates only helps if a good candidate can be identified, yet no ground-truth model is available at generation time. Existing systems often require a separate verifier, such as a vision-language judge, to select among candidates. We investigate whether the candidate pool itself provides enough signal for effective selection and a verifier-free alternative. We introduce 3D CAD consensus selection, hereafter consensus selection: sample $N$ parametric CAD programs, compile them to 3D models, and return the candidate that agrees most with the rest of the pool. The method is training-free and compatible with existing CAD agents. We investigate geometric and topological notions of agreement, each of which improves its corresponding evaluation metric. On the exact candidate pools of a state-of-the-art CAD generation method, geometric consensus improves all three geometric metrics over the method's verifier, while topological consensus matches it on topology. Across every tested LLM and prompt variant, geometric consensus also improves geometric accuracy over random selection from the same pool, reducing Chamfer distance by $1-10\%$.

📄 PDF Abstract BibTeX arXiv:2608.09706

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents

2025-04-09 · Naman jain, Jaskirat Singh, Manish Shetty, Liang Zheng 외

Improving open-source models on real-world SWE tasks (solving GITHUB issues) faces two key challenges: 1) scalable curation of execution environments to train these models, and, 2) optimal scaling of test-time compute. W…

(1D) Ordered Tokens Enable Efficient Test-Time Search

2026-04-16 · Zhitong Gao, Parham Rezaei, Ali Cy, Mingqiao Ye 외 arxiv

Tokenization is a key component of autoregressive (AR) generative models, converting raw data into more manageable units for modeling. Commonly, tokens describe local information, such as regions of pixels in images or w…

Text-to-Image Generation

Trust but Verify! A Survey on Verification Design for Test-time Scaling

2025-08-20 · V Venktesh, Mandeep Rathee, Avishek Anand arxiv

Test-time scaling (TTS) has emerged as a new frontier for scaling the performance of Large Language Models. In test-time scaling, by using more computational resources during inference, LLMs can improve their reasoning p…

LATTS: Locally Adaptive Test-Time Scaling

2025-09-16 · Theo Uscidda, Matthew Trager, Michael Kleinman, Aditya Chattopadhyay 외 arxiv

One common strategy for improving the performance of Large Language Models (LLMs) on downstream tasks involves using a \emph{verifier model} to either select the best answer from a pool of candidates or to steer the auto…

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

2026-06-11 · Jiacheng Chen, Xinyu Zhang, Shunkai Zhang, Yanmohan Wang 외 arxiv

We present MaxProof, a population-level test-time scaling framework for competition-level mathematical proof in the MiniMax-M3 series. M3 first trains three proof-oriented capabilities -- proof generation, proof verifica…