default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJasper Dekoninck
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[c3]Jasper Dekoninck, Maximilian Baader, Martin T. Vechev:
Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation. ICLR 2025- [i13]Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev:
MathConstruct: Challenging LLM Reasoning with Constructive Proofs. CoRR abs/2502.10197 (2025) - [i12]Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, Maria Drencheva, Kristian Minchev, Mislav Balunovic, Nikola Jovanovic, Martin T. Vechev:
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad. CoRR abs/2503.21934 (2025) - [i11]Mislav Balunovic, Jasper Dekoninck, Ivo Petrov, Nikola Jovanovic, Martin T. Vechev:
MathArena: Evaluating LLMs on Uncontaminated Math Competitions. CoRR abs/2505.23281 (2025) - [i10]Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin T. Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev:
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. CoRR abs/2506.21621 (2025) - [i9]Niels Mündler, Jasper Dekoninck, Martin T. Vechev:
Constrained Decoding of Diffusion LLMs with Context-Free Grammars. CoRR abs/2508.10111 (2025) - [i8]Johannes Schmitt
, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial:
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation. CoRR abs/2509.26076 (2025) - [i7]Ivo Petrov, Jasper Dekoninck, Martin T. Vechev:
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs. CoRR abs/2510.04721 (2025) - [i6]Robin Staab, Jasper Dekoninck, Maximilian Baader, Martin T. Vechev:
Adaptive Generation of Bias-Eliciting Questions for LLMs. CoRR abs/2510.12857 (2025) - 2024
- [j1]Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev:
Synthetiq: Fast and Versatile Quantum Circuit Synthesis. Proc. ACM Program. Lang. 8(OOPSLA1): 55-82 (2024) - [c2]Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev:
Controlled Text Generation via Language Model Arithmetic. ICLR 2024 - [c1]Jasper Dekoninck, Mark Niklas Müller, Martin T. Vechev:
ConStat: Performance-Based Contamination Detection in Large Language Models. NeurIPS 2024 - [d1]Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev:
Synthetiq: Fast and Versatile Quantum Circuit Synthesis. Zenodo, 2024
- [i5]Jasper Dekoninck, Mark Niklas Müller, Maximilian Baader, Marc Fischer, Martin T. Vechev:
Evading Data Contamination Detection for Language Models is (too) Easy. CoRR abs/2402.02823 (2024) - [i4]Jasper Dekoninck, Mark Niklas Müller, Martin T. Vechev:
ConStat: Performance-Based Contamination Detection in Large Language Models. CoRR abs/2405.16281 (2024) - [i3]Jasper Dekoninck, Maximilian Baader, Martin T. Vechev:
Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation. CoRR abs/2409.00696 (2024) - [i2]Jasper Dekoninck, Maximilian Baader, Martin T. Vechev:
A Unified Approach to Routing and Cascading for LLMs. CoRR abs/2410.10347 (2024) - 2023
- [i1]Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev:
Controlled Text Generation via Language Model Arithmetic. CoRR abs/2311.14479 (2023)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-17 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
