Author:Yoni Zohar

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
Combining Combination Properties: Minimal Models Guilherme V. Toledo and Yoni Zohar In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Reasoning Inside The Box: Deduction in Herbrand Logics Liron Cohen and Yoni Zohar In:GCAI 2017. 3rd Global Conference on Artificial Intelligence