Research author

Martin Vechev

4 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Martin Vechev

Jul 16, 2026
cs.LG

Leveraging Instruction Tuning and Merging for Reasoning Model Adaptation

Yu-Du Feng, Niels Mündler-Sasahara, Mark Vero, et al.

Jul 15, 2026
cs.PL

Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code

Niels Mündler-Sasahara, Hristo Venev, Dawn Song, et al.

6
May 14, 2026
cs.LG

Widening the Gap: Exploiting LLM Quantization via Outlier Injection

Xiaohua Zhan, Kazuki Egashira, Robin Staab, et al.

May 1, 2026
cs.CL

Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs

Jasper Dekoninck, Nikola Jovanović, Tim Gehrunger, et al.

Martin Vechev — AI Research Papers | One9Founders