Mark Vero

Identifiers

• name variant Mark Vero 0.60 · backfill

Papers (7)

1. Honeyval: A Comprehensive Evaluation Framework for LLM-powered HTTP Honeypots cs.CR · 2026 · author #1
2. Widening the Gap: Exploiting LLM Quantization via Outlier Injection cs.LG · 2026 · author #4
3. Every Bit, Everywhere, All at Once: A Binomial Multibit LLM Watermark cs.CR · 2026 · author #3
4. Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR cs.LG · 2026 · author #2
5. SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization cs.CR · 2026 · author #3
6. AutoBaxBuilder: Bootstrapping Code Security Benchmarking cs.CR · 2025 · author #3
7. Fewer Weights, More Problems: A Practical Attack on LLM Pruning cs.LG · 2025 · author #4

Mentions

• 2605.29963 #1 · arxiv_oai · confidence 0.70 Mark Vero
• 2512.21132 #3 · arxiv_oai · confidence 0.70 Mark Vero

Frequent Coauthors

• Martin Vechev 7 shared papers
• Robin Staab 4 shared papers
• Kazuki Egashira 3 shared papers
• Niels M\"undler 2 shared papers
• Thibaud Gloaguen 2 shared papers
• Dawn Song 1 shared papers
• Fabian Kaczmarczyck 1 shared papers
• Florian E. Dorner 1 shared papers
• Hao Wang 1 shared papers
• Ilia Shumailov 1 shared papers
• Ivan Petrov 1 shared papers
• Jamie Hayes 1 shared papers
• Jasper Dekoninck 1 shared papers
• Jingxuan He 1 shared papers
• Luca Invernizzi 1 shared papers
• Maximilian Baader 1 shared papers
• Niels Heinen 1 shared papers
• Tianqi Fan 1 shared papers
• Tobias von Arx 1 shared papers
• Xiaohua Zhan 1 shared papers