vix.ing · top · new · best · stats · spec

Martin Vechev

  1. Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
    2025/03/27 by Ivo Petrov, Jasper Dekoninck, Petrov, Ivo +13 · 35 voices · 32 citations
    #cs.CL
  2. Beyond Memorization: Violating Privacy Via Inference with Large Language Models
    2023/10/11 by Robin Staab, Mark Vero, Staab, Robin +5 · 7 voices · 39 citations
    Computer Science · Social Sciences · #Privacy-Preserving Technologies in Data #Privacy, Security, and Data Protection
  3. Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
    2026/02/12 by Thibaud Gloaguen, Niels Mündler, Mark Müller +2 · 35 voices · 5 citations
    #cs.SE #cs.AI
  4. Type-Constrained Code Generation with Language Models
    2025/04/12 by Niels Mündler, Jingxuan He, Hao Wang +3 · 17 voices · 22 citations
    Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Software Testing and Debugging Techniques
  5. Securify: Practical Security Analysis of Smart Contracts
    2018/06/04 by Petar Tsankov, Tsankov, Petar, Andrei Dan +9 · 32 citations
    Computer Science · #Blockchain Technology Applications and Security #Advanced Malware Detection Techniques #Security and Verification in Computing
  6. SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
    2024/06/18 by Niels Mündler, Mündler, Niels, Mark Niklas Müller +5 · 45 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques
  7. BaxBench: Can LLMs Generate Correct and Secure Backends?
    2025/02/17 by Mark Vero, Vero, Mark, Niels Mündler +13 · 3 voices · 14 citations
    Computer Science · #Digital Rights Management and Security #cs.AI #cs.CR #cs.LG #cs.PL
  8. Watermark Stealing in Large Language Models
    2024/02/29 by Nikola Jovanović, Jovanović, Nikola, Robin Staab +3 · 21 citations
    Computer Science · #Advanced Steganography and Watermarking Techniques #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  9. Instruction Tuning for Secure Code Generation
    2024/02/14 by Jingxuan He, He, Jingxuan, Mark Vero +5 · 17 citations
    Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Security and Verification in Computing #Software Engineering (cs.SE) #Teaching and Learning Programming
  10. Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation
    2024/02/07 by Luca Beurer-Kellner, Beurer-Kellner, Luca, M. L. Fischer +3 · 16 citations
    Computer Science · #Digital Rights Management and Security #Mathematics, Computing, and Information Processing #Library Science and Information Systems
  11. Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation
    2023/05/25 by Niels Mündler, Jingxuan He, Mündler, Niels +5 · 10 citations
    Engineering · Computer Science · #Ferroelectric and Negative Capacitance Devices #Topic Modeling #Text Readability and Simplification
  12. A Unified Approach to Routing and Cascading for LLMs
    2024/10/14 by Jasper Dekoninck, Dekoninck, Jasper, Maximilian Baader +3 · 15 citations
    Computer Science · #Computation and Language (cs.CL) #Digital Rights Management and Security #FOS: Computer and information sciences
  13. Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
    2022/04/30 by Claudio Ferrari, Ferrari, Claudio, Mark Niklas Müller +5 · 7 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Explainable Artificial Intelligence (XAI)
  14. Adversarial Robustness for Code
    2020/02/11 by Pavol Bielik, Martin Vechev, Bielik, Pavol +1 · 6 citations
    Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE)
  15. Exploiting LLM Quantization
    2024/05/28 by Kazuki Egashira, Egashira, Kazuki, Mark Vero +7 · 13 citations
    Computer Science · Engineering · Physics and Astronomy · #Advanced Data Storage Technologies #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Magnetic confinement fusion research #Reservoir Engineering and Simulation Methods
  16. Private Attribute Inference from Images with Vision-Language Models
    2024/04/16 by Batuhan Tömekçe, Mark Vero, Tömekçe, Batuhan +5 · 11 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Cryptography and Data Security #Stochastic Gradient Optimization Techniques
  17. Fair Normalizing Flows
    2021/06/10 by Mislav Balunović, Balunović, Mislav, Anian Ruoss +3 · 6 citations
    Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  18. Large Language Models are Advanced Anonymizers
    2024/02/21 by Robin Staab, Mark Vero, Staab, Robin +5 · 2 voices · 5 citations
    Computer Science · #Topic Modeling #cs.AI #cs.CL #cs.CR
  19. Mitigating Catastrophic Forgetting in Language Transfer via Model Merging
    2024/07/11 by Anton Alexandrov, Veselin Raychev, Alexandrov, Anton +9 · 10 citations
    Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
  20. FARE: Provably Fair Representation Learning with Practical Certificates
    2022/10/13 by Nikola Jovanović, Mislav Balunović, Jovanović, Nikola +5 · 6 citations
    Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Machine Learning (cs.LG)
  21. Certified Training: Small Boxes are All You Need
    2022/10/10 by Mark Niklas Müller, Franziska Eckert, Müller, Mark Niklas +5 · 5 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Fault Detection and Control Systems
  22. LAMP: Extracting Text from Gradients with Language Model Priors
    2022/02/17 by Mislav Balunović, Balunović, Mislav, Dimitar I. Dimitrov +5 · 4 citations
    Computer Science · Medicine · #COVID-19 diagnosis using AI #Distributed #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #I.2.11 #I.2.7 #Machine Learning (cs.LG) #Parallel #Privacy-Preserving Technologies in Data #and Cluster Computing (cs.DC)
  23. Data Leakage in Federated Averaging
    2022/06/24 by Dimitar I. Dimitrov, Mislav Balunović, Dimitrov, Dimitar I. +5 · 4 citations
    Computer Science · Engineering · Medicine · #COVID-19 diagnosis using AI #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #I.2.11 #Machine Learning (cs.LG) #Medical Imaging and Analysis #Parallel #Privacy-Preserving Technologies in Data #and Cluster Computing (cs.DC)
  24. Scalable Certified Segmentation via Randomized Smoothing
    2021/07/01 by Marc Fischer, Maximilian Baader, Fischer, Marc +3 · 3 citations
    Environmental Science · Earth and Planetary Sciences · Computer Science · #Remote Sensing and LiDAR Applications #3D Surveying and Cultural Heritage #Advanced Neural Network Applications
  25. Evading Data Contamination Detection for Language Models is (too) Easy
    2024/02/05 by Jasper Dekoninck, Dekoninck, Jasper, Mark Niklas Müller +7 · 5 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data
  26. Latent Space Smoothing for Individually Fair Representations
    2021/11/26 by Momchil Peychev, Peychev, Momchil, Anian Ruoss +7 · 3 citations
    Social Sciences · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Machine Learning (cs.LG)
  27. Network-wide Configuration Synthesis
    2016/11/08 by Ahmed El-Hassany, Petar Tsankov, El-Hassany, Ahmed +5 · 2 citations
    Computer Science · #Software-Defined Networks and 5G #Interconnection Networks and Systems #Software System Performance and Reliability
  28. ConStat: Performance-Based Contamination Detection in Large Language Models
    2024/05/25 by Jasper Dekoninck, Mark Niklas Müller, Dekoninck, Jasper +3 · 5 citations
    Computer Science · #Topic Modeling #Natural Language Processing Techniques #Anomaly Detection Techniques and Applications
  29. Controlled Text Generation via Language Model Arithmetic
    2023/11/24 by Jasper Dekoninck, M. L. Fischer, Dekoninck, Jasper +5 · 4 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
  30. Private and Reliable Neural Network Inference
    2022/10/27 by Nikola Jovanović, Jovanović, Nikola, M. L. Fischer +5 · 3 citations
    Computer Science · #Privacy-Preserving Technologies in Data #Adversarial Robustness in Machine Learning #Cryptography and Data Security
  31. ToolFuzz -- Automated Agent Tool Testing
    2025/03/06 by Ivan Milev, Milev, Ivan, Mislav Balunović +5 · 8 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
  32. COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act
    2024/10/10 by Philipp Guldimann, Alexander Spiridonov, Guldimann, Philipp +21 · 5 citations
    Computer Science · #Law, AI, and Intellectual Property
  33. Watermarking Autoregressive Image Generation
    2025/06/19 by Nikola Jovanović, Jovanović, Nikola, Ismail Labiad +7 · 1 voice · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.CR #cs.CV #cs.LG
  34. Black-Box Adversarial Attacks on LLM-Based Code Completion
    2024/08/05 by Slobodan Jenko, Niels Mündler, Jenko, Slobodan +7 · 4 citations
    Computer Science · #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #Security and Verification in Computing
  35. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
    2025/06/23 by Jasper Dekoninck, Dekoninck, Jasper, Ivo Petrov +29 · 11 citations
    Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation
  36. DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
    2024/02/19 by Berkay Berabi, Berabi, Berkay, Alexey Gronskiy +9 · 3 citations
    Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Digital and Cyber Forensics
  37. On Distribution Shift in Learning-based Bug Detectors
    2022/04/21 by Jingxuan He, Luca Beurer-Kellner, He, Jingxuan +3 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
  38. Ward: Provable RAG Dataset Inference via LLM Watermarks
    2024/10/04 by Nikola Jovanović, Robin Staab, Jovanović, Nikola +5 · 3 citations
    Computer Science · Engineering · #Machine Learning in Healthcare #Topic Modeling #Reservoir Engineering and Simulation Methods
  39. SPEAR:Exact Gradient Inversion of Batches in Federated Learning
    2024/03/06 by Dimitar I. Dimitrov, Dimitrov, Dimitar I., Maximilian Baader +5 · 3 citations
    Computer Science · #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #I.2.11 #Machine Learning (cs.LG) #Machine Learning and ELM #Neural Networks and Applications #Parallel #Stochastic Gradient Optimization Techniques #and Cluster Computing (cs.DC)
  40. MathConstruct: Challenging LLM Reasoning with Constructive Proofs
    2025/02/14 by Mislav Balunović, Balunović, Mislav, Jasper Dekoninck +7 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques
  41. Expressivity of ReLU-Networks under Convex Relaxations
    2023/11/07 by Maximilian Baader, Mark Niklas Müller, Baader, Maximilian +5 · 2 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Memory and Neural Computing #Neural Networks and Applications
  42. TabLeak: Tabular Data Leakage in Federated Learning
    2022/10/04 by Mark Vero, Vero, Mark, Mislav Balunović +5 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #I.2.11 #Machine Learning (cs.LG) #Parallel #Privacy-Preserving Technologies in Data #and Cluster Computing (cs.DC)
  43. Efficient Certified Training and Robustness Verification of Neural ODEs
    2023/03/09 by Mustafa Zeqiri, Mark Niklas Müller, Zeqiri, Mustafa +5 · 1 citation
    Computer Science · Materials Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Model Reduction and Neural Networks
  44. LLM Fingerprinting via Semantically Conditioned Watermarks
    2025/05/22 by Thibaud Gloaguen, Robin Staab, Gloaguen, Thibaud +5 · 2 citations
    Computer Science · #Advanced Steganography and Watermarking Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Machine Learning (cs.LG)
  45. From Principle to Practice: Vertical Data Minimization for Machine Learning
    2023/11/17 by Robin Staab, Nikola Jovanović, Staab, Robin +5 · 1 citation
    Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data
  46. BgGPT 1.0: Extending English-centric LLMs to other languages
    2024/12/14 by Anton Alexandrov, Alexandrov, Anton, Veselin Raychev +9 · 1 citation
    Computer Science · Arts and Humanities · #Natural Language Processing Techniques #Translation Studies and Practices #Library Science and Information Systems
  47. Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
    2026/07/15 by Niels Mündler-Sasahara, Hristo Venev, Dawn Song +2
    #cs.PL #cs.AI #cs.LG
  48. Leveraging Instruction Tuning and Merging for Reasoning Model Adaptation
    2026/07/16 by Yu-Du Feng, Niels Mündler-Sasahara, Mark Vero +1
    #cs.LG #cs.CL