Talks

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement

Conference presentation · Computer Aided Verification (CAV 2026) · July 2026 · Lisbon, Portugal

Presentation of the accepted work on formal verification and robustness certification for Transformer models.

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement

7-minute short presentation and poster · SAIV 2026 · July 2026 · Lisbon, Portugal

A short presentation and poster on formal verification research for Transformer models.