formal-theory

标签

Cards List
#formal-theory

当规范补全不正确时:形式化与测量大型语言模型中的跃迁

arXiv cs.CL ↗ · 2026-08-28 缓存

本文形式化并测量了大型语言模型中的'跃迁',即它们放弃默认补全转而采用正确补全的情况,并发现LLMs在实验中成功进行了跃迁。

0 人收藏 0 人点赞
#formal-theory

人机协同演化动力学:基于长期交互的社会智能涌现形式化理论

arXiv cs.AI ↗ · 2026-06-18 缓存

提出人机协同演化动力学框架(HACD-H),作为人机交互的形式化模型,整合了情感适应、关系组织、社会记忆和人格一致性。结果表明,社会智能源于长期社会认知协同演化。

0 人收藏 0 人点赞
#formal-theory

间接计算模型与间接形式化方法

arXiv cs.CL ↗ · 2026-06-15 缓存

本文提出了一种间接计算模型和间接形式化方法,用于优化云计算,并以中文信息数据为例,实现从数据中心向知识中心的转变。

0 人收藏 0 人点赞
← 返回首页

提交意见反馈