@misc{indiciaea9adc89f922b,
  title = {Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic},
  author = {Hongyu Lin and Samer Abdallah and Makar Valentinov and Paul Brennan and Elijah Kagan and Christoph M. Wintersteiger and Denis Ignatovich and Grant Passmore},
  year = {2026},
  url = {https://arxiv.org/abs/2601.11840},
  note = {Source identifier: 2601.11840}
}