Categorical Construction of Logically Verifiable Neural Architectures
机构 * Carnegie Mellon University School of Computer Science（卡内基梅隆大学计算机科学学院）
专题命中 代码与定理证明 ：reasoning(abstract)；logical reasoning(abstract)；分类 cs.AI
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 代码与定理证明 2 篇
fCrit: A Visual Explanation System for Furniture Design Creative Support
机构 * Concordia University（康科德大学）
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI
Comments In Proceedings of Explainable AI for the Arts Workshop 2025 (XAIxArts 2025) arXiv:2406.14485
