大模型推理能力

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete

Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

机构 * Chennai Mathematical Institute Chennai, India（钦奈数学研究所（钦奈，印度）） ； Indian Statistical Institute Chennai, India（印度统计研究所（钦奈，印度）） ； ENS De Lyon France（里昂高等师范学院（法国）） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；planning(abstract)；分类 cs.AI

Comments Accepted in KR 25

System 2 Reasoning for Human-AI Alignment: Generality and Adaptivity via ARC-AGI

Sejin Kim, Sundong Kim

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

TEN: Table Explicitization, Neurosymbolically

Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari

专题命中 逻辑推理 ：chain-of-thought(abstract)；分类 cs.CL、cs.AI