Smayan Agarwal

From Transformers to Weighted Automata: Towards the Verification of Large Language Models

Large language models (LLMs) are increasingly deployed in safety-critical settings, yet their black-box nature makes it difficult to provide formal guaranties about their behavior. Existing verification approaches rely primarily on empirical probing and testing, leaving open the question of how to reason rigorously abo...