University of Texas at Austin（得克萨斯大学奥斯汀分校）

2509.26546 2025-11-17 cs.SE cs.LG

Towards Verified Code Reasoning by LLMs

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

机构 * University of Texas at Austin（德克萨斯大学奥斯汀分校）； Google DeepMind（谷歌DeepMind）； Google（谷歌）； Meta Platforms（元平台）

Comments 43 pages

2406.03442 2025-11-17 cs.CL cs.AI

Are language models rational? The case of coherence norms and belief revision

Thomas Hofweber, Peter Hase, Elias Stengel-Eskin, Mohit Bansal

机构 * Department of Philosophy University of North Carolina at Chapel Hill（哲学系北卡罗来纳大学教堂山分校）； Department of Computer Science University of North Carolina at Chapel Hill（计算机科学系北卡罗来纳大学教堂山分校）； Department of Computer Science University of Texas at Austin（计算机科学系德克萨斯大学奥斯汀分校）

Comments substantial expansions of sections 4 and 5, updated references, numerous smaller additions and clarifications