TY  - RPRT
TI  - Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
AU  - Hongyu Lin
AU  - Samer Abdallah
AU  - Makar Valentinov
AU  - Paul Brennan
AU  - Elijah Kagan
AU  - Christoph M. Wintersteiger
AU  - Denis Ignatovich
AU  - Grant Passmore
PY  - 2026
UR  - https://arxiv.org/abs/2601.11840
ID  - 2601.11840
ER  -