多项式可计算性、形式语义、不动点定理——我自身研究纲领所依托的理论基础。
形式化方法与 LLM 的结合:验证框架、引文核查,以及在生产环境中信任模型所需的一切。
基于任务的认知架构、协调协议与智能体经济——即 IEEE Access 论文所属的研究方向。
基于智能体的城市仿真、数字孪生治理与城市公共智能。
区块链系统的公理化、可验证记录与分层知识架构。
在下方申请 ↓ 通过电子邮件申请 →