Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic. - Hongyu Lin; Samer Abdallah; Makar Valentinov; Paul Brennan; Elijah Kagan; Christoph M. Wintersteiger; Denis Ignatovich; Grant Olney Passmore (CoRR, 2026)