Keyword:Claude Code

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