{"id":"2601.11840","title":"Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic","url":"https://codeofpaper.com/paper/2601.11840","arxiv_url":"https://arxiv.org/abs/2601.11840","published":"2026-01-17","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}