4 papers
From Transformers to Weighted Automata: Towards the Verification of Large Language Models
Smayan Agarwal, Aslah Ahmad Faizi, Shobhit Singh +1
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.…
Localising Stochasticity in Weighted Automata
Smayan Agarwal, Aalok Thakkar
Probability distributions over strings can be expressed by locally stochastic weighted automata: state machines in which, at every state, the outgoing and final weights sum to the…
Stochastic Languages at Sub-stochastic Cost
Smayan Agarwal, Aalok Thakkar
When does a deterministic computational model define a probability distribution? What are its properties? This work formalises and settles this stochasticity problem for weighted a…
Identity Testing for Stochastic Languages
Smayan Agarwal, Shobhit Singh, Aalok Thakkar
Determining whether an unknown distribution matches a known reference is a cornerstone problem in distributional analysis. While classical results establish a rigorous framework in…