3 citations · 7 across the 9 of their papers we have counts for
4 papers · 1 filter
Lumos: Let there be Language Model System Certification
Isha Chaudhary, Vedaant Jain, Prineet Parhar +4
We introduce the first principled framework, Lumos, for specifying and formally certifying Language Model System (LMS) behaviors. Lumos is an imperative probabilistic programming D…
SAIL: Sound Abstract Interpreters with LLMs
Qiuhan Gu, Avaljot Singh, Gagandeep Singh
How to construct globally sound abstract interpreters to safely approximate program behaviors remains a bottleneck in abstract interpretation. In this paper, we show the potential…
Automated Verification of Soundness of DNN Certifiers
Avaljot Singh, Yasmin Chandini Sarita, Charith Mendis +1
The uninterpretability of Deep Neural Networks (DNNs) hinders their use in safety-critical applications. Abstract Interpretation-based DNN certifiers provide promising avenues for…
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
Avaljot Singh, Yasmin Sarita, Charith Mendis +1
We develop a declarative DSL - \cf - that can be used to specify Abstract Interpretation-based DNN certifiers. In \cf, programmers can easily define various existing and new abstra…