Jovanović, Nikola

23 publications

ICML 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev

ICLRW 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev

ICLR 2025 Black-Box Detection of Language Model Watermarks Thibaud Gloaguen, Nikola Jovanović, Robin Staab, Martin Vechev

ICML 2025 Discovering Spoofing Attempts on Language Model Watermarks Thibaud Gloaguen, Nikola Jovanović, Robin Staab, Martin Vechev

ICLRW 2025 Discovering Spoofing Attempts on Language Model Watermarks Thibaud Gloaguen, Nikola Jovanović, Robin Staab, 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

ICLRW 2025 Towards Watermarking of Open-Source LLMs Thibaud Gloaguen, Nikola Jovanović, Robin Staab, Martin Vechev

NeurIPS 2025 Transferable Black-Box One-Shot Forging of Watermarks via Image Preference Models Tomas Soucek, Sylvestre-Alvise Rebuffi, Pierre Fernandez, Nikola Jovanović, Hady Elsahar, Valeriu Lacatusu, Tuan A. Tran, Alexandre Mourachko

ICLR 2025 Ward: Provable RAG Dataset Inference via LLM Watermarks Nikola Jovanović, Robin Staab, Maximilian Baader, Martin Vechev

NeurIPS 2025 Watermarking Autoregressive Image Generation Nikola Jovanović, Ismail Labiad, Tomas Soucek, Martin Vechev, Pierre Fernandez

ICMLW 2024 Black-Box Detection of Language Model Watermarks Thibaud Gloaguen, Nikola Jovanović, Robin Staab, Martin Vechev

ICMLW 2024 Black-Box Detection of Language Model Watermarks Thibaud Gloaguen, Nikola Jovanović, Robin Staab, Martin Vechev

ICLR 2024 Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning Kostadin Garov, Dimitar Iliev Dimitrov, Nikola Jovanović, Martin Vechev

ICML 2024 Watermark Stealing in Large Language Models Nikola Jovanović, Robin Staab, Martin Vechev

ICLRW 2024 Watermark Stealing in Large Language Models Nikola Jovanović, Robin Staab, Martin Vechev

ICML 2023 FARE: Provably Fair Representation Learning with Practical Certificates Nikola Jovanović, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin Vechev

ICMLW 2023 Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning Kostadin Garov, Dimitar Iliev Dimitrov, Nikola Jovanović, Martin Vechev

ICLR 2022 Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari, Mark Niklas Mueller, Nikola Jovanović, Martin Vechev

NeurIPSW 2022 FARE: Provably Fair Representation Learning Nikola Jovanović, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin Vechev

NeurIPS 2022 LAMP: Extracting Text from Gradients with Language Model Priors Mislav Balunovic, Dimitar Dimitrov, Nikola Jovanović, Martin Vechev

TMLR 2022 On the Paradox of Certified Training Nikola Jovanović, Mislav Balunovic, Maximilian Baader, Martin Vechev