CAV 2026 Publication
A formal verification method for certifying the robustness of Transformer models through tighter bounds for attention-related nonlinear operations.
Research Outputs
This page brings together selected publications and open-source tools.
Publications
For a complete and current publication list, see my Google Scholar profile.
Conference Papers
Software & Tools
SurveyFlow
A local graphical workspace for building auditable literature surveys, with multi-source discovery, deterministic filtering, optional AI-assisted recommendations, human review, citation snowballing, and final export.