Towards Verified Code Reasoning by LLMs

Open Webpage

Meghana Sistla, Gogul Balakrishnan, Pat Rondon, José Cambronero, Michele Tufano, Satish Chandra

Published: 2025, Last Modified: 25 Mar 2026CoRR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0