AN
Alexander Nemecek
cs.CRcs.AIcs.LGcs.CLstat.MEcs.CVcs.CYcs.LOcs.MMeess.IV
On Valency
published · living versionsW_mmefdpxh·v1 · currentpublished
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
with Sreehari Sankar, Debargha Ganguly, Vikash Singh, Mohsen Hariri +15
1 version
W_svq73au5·v1published
Preprints & journals
13 papers in the corpus · 2024–2026Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning2610.15258v1 · Debargha Ganguly, Weicong Chen, Mohsen Hariri et al.2026 · 0 citationsarXiv
Watermarks Without Verification: AI Text Watermarking After the EU AI Act2609.09604v1 · Alexander Nemecek, Vipin Chaudhary, Erman Ayday2026 · 0 citationsarXiv
Auditing Cross-Lingual Fairness in Language Model Watermarking2608.20047v1 · Alexander Nemecek, Osama Zafar, Debargha Ganguly et al.2026 · 0 citationsarXiv
Beyond Detection: Evaluating Defensive LLMs Against AI-Generated Social Engineering in Live Turn-by-Turn Interaction2608.10239v1 · Yuqiao Xu, Osama Zafar, Alexander Nemecek et al.2026 · 0 citationsarXiv
CausalGuard: Conformal Inference under Graph Uncertainty2605.21928v1 · Vikash Singh, Weicong Chen, Debargha Ganguly et al.2026 · 0 citationsarXiv
Privacy Policy Enforcement Guardrails for Data-Sensitive Retrieval-Augmented Generation2605.17034v2 · Osama Zafar, Alexander Nemecek, Yiqian Zhang et al.2026 · 0 citationsarXiv
The End of Trust: How Agentic AI Breaks Security Assumptions2605.16436v2 · Osama Zafar, Alexander Nemecek, Erman Ayday2026 · 0 citationsarXiv
Quantifying Memorization and Privacy Risks in Genomic Language Models2603.08913v3 · Alexander Nemecek, Wenbiao Li, Xiaoqian Jiang et al.2026 · 0 citationsarXiv
Authenticated Contradictions from Desynchronized Provenance and Watermarking2603.02378v3 · Alexander Nemecek, Hengzhi He, Guang Cheng et al.2026 · 1 citationarXiv
Optimal Watermark Generation under Type I and Type II Errors2512.05333v2 · Hengzhi He, Shirong Xu, Alexander Nemecek et al.2025 · 0 citationsarXiv
Exploring Membership Inference Vulnerabilities in Clinical Large Language Models2510.18674v1 · Alexander Nemecek, Zebin Yun, Zahra Rahmani et al.2025 · 1 citationarXiv
The Feasibility of Topic-Based Watermarking on Academic Peer Reviews2505.21636v3 · Alexander Nemecek, Yuzhou Jiang, Erman Ayday2025 · 0 citationsarXiv
Topic-Based Watermarks for Large Language Models2404.02138v7 · Alexander Nemecek, Yuzhou Jiang, Erman Ayday2024 · 0 citationsarXiv
Career total: 15 works. 13 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.