Author:Arjun Viswanathan

Publications
LLM-Assisted Formal Verification of Bit-vector Invertibility Conditions in Rocq Ha Truong, Jordin Palmeri, Liam Secrist, Jacob Schuckman, Arjun Viswanathan and Yoni Zohar In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
An Interactive SMT Tactic in Coq using Abductive Reasoning Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning