3 citations · 3 across the 2 of their papers we have counts for
4 papers
RuleFlow : Generating Reusable Program Optimizations with LLMs
Avaljot Singh, Dushyant Bharadwaj, Stefanos Baziotis +2
Optimizing Pandas programs is a challenging problem. Existing systems and compiler-based approaches offer reliability but are either heavyweight or support only a limited set of op…
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…
A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications
Avaljot Singh, Yamin Chandini Sarita, Aditya Mishra +3
The uninterpretability of DNNs has led to the adoption of abstract interpretation-based certification as a practical means to establish trust in real-world systems that rely on DNN…
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…