Comments171 pages. Formalized in Lean 4 with Mathlib: 240 theorems in the elaborated environment, 141 audited headline results, cold-compiling from a clean checkout with zero custom axioms. Source, theorem-by-theorem contract, and reproducible axiom audit: https://github.com/selfreferencing/TSE_Formal. Companion to Agentic Capital
Illusion of Alignment: Detecting Hidden Disagreement in Collaborative Dialogue
对齐的错觉:检测协同对话中的隐藏分歧
Kaiming Liu, Fuwen Luo, Ziyue Wang, Jinrui Ju, Yuxuan Liu, Xuanyu Lei, Yunghwei Lai, Peng Li, Yang Liu
机构
*
College of AI, Tsinghua University(清华大学人工智能学院)
;
Institute for AI Industry Research (AIR), Tsinghua University(清华大学人工智能产业研究院)
;
Institute for AI, Tsinghua University(清华大学人工智能研究院)
Comments44 pages, 3 figures; to appear as a chapter in "Equilibria in Games: Existence, Selection, and Dynamics", edited by Sylvain Sorin and Bernhard von Stengel
From Single Chatbots to Governed Agent Ecosystems: An Agentic AI Pattern Catalogue and Orchestration Framework for Mission-Critical Hospital Information Management Systems
What Keeps Agent Skills from Being Reusable? Evidence from 138K SKILL.md Files
是什么阻碍了智能体技能的可复用性?来自13.8万个SKILL.md文件的证据
Chi Zhang, Yimin Liu, Xinze Chen, Ping Ji
机构
*
The Graduate Center, City University of New York(纽约城市大学研究生中心)
;
The Ohio State University(俄亥俄州立大学)
;
Hunter College, City University of New York(纽约城市大学亨特学院)
Comments25 pages, 10 tables, 1 figure. Supplementary material included as an ancillary file. v3: rejoins a paragraph split across a table float and harmonizes a label glyph in the supplement; no change to results, claims, or numbers