Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
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.…
cs.FL2026
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…