Dekoninck, Jasper

8 publications

ICML 2025 A Unified Approach to Routing and Cascading for LLMs Jasper Dekoninck, Maximilian Baader, Martin Vechev

ICLRW 2025 A Unified Approach to Routing and Cascading for LLMs Jasper Dekoninck, Maximilian Baader, Martin Vechev

NeurIPS 2025 MathArena: Evaluating LLMs on Uncontaminated Math Competitions Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanović, Martin Vechev

ICML 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Mislav Balunovic, Jasper Dekoninck, Nikola Jovanović, Ivo Petrov, Martin Vechev

ICLRW 2025 MathConstruct: Challenging LLM Reasoning with Constructive Proofs Jasper Dekoninck, Mislav Balunovic, Nikola Jovanović, Ivo Petrov, Martin Vechev

ICLR 2025 Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation Jasper Dekoninck, Maximilian Baader, Martin Vechev

NeurIPS 2024 ConStat: Performance-Based Contamination Detection in Large Language Models Jasper Dekoninck, Mark Niklas Müller, Martin Vechev

ICLR 2024 Controlled Text Generation via Language Model Arithmetic Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin Vechev