搜索：形式化验证系统

「形式化验证系统」共找到 2421 篇相关文章

3个工程师、0融资、不开会，估值3.5亿美元的Obsidian才是真正的「小而美」

Obsidian 作为全球最具影响力的本地化 Markdown 笔记应用之一，估值 3.5 亿美元，但仅 7 人全职团队。它拒绝资本，靠用户付费运营，有「无会议文化」，底层插件系统强大，和 Notion 信息管理哲学不同。

传统联邦学习中，统计异质性是障碍，本文提出 FedDRM，将联邦学习从「聚合范式」拓展到「路由范式」，让服务器能把问题交给最合适的客户端处理，在多数据集上提升系统准确率，为多场景提供新可能。

本文第一作者为新泽西理工学院廖海旭。对比学习在类别不平衡数据下面临挑战，此前研究未考虑其影响。本文构建理论框架刻画训练动态，定量分析少数特征影响，提出剪枝算法增强少数特征学习，实验验证其有效性。

GitHub热榜项目AIRI是超火虚拟主播Neuro - sama的开源版，可自托管，7×24小时在线。它能实时语音、陪玩游戏等，支持多种大模型API，还介绍了不同系统搭建该项目的方法。

2025年，Agent应用发展使LLM‘静态’局限成AI瓶颈，业界重视自进化能力，聚焦‘持续适应系统’。但该领域缺统一标准，有思潮认为统一标准、集体探索将带来机遇。还介绍了研究进展、重点演变等。

前OpenAI核心研究员Jason Wei在斯坦福演讲，提出AI发展三大思路。他认为智能会商品化、成本下降，自适应算力出现；所有能被验证的任务最终会被AI解决；AI智能呈锯齿状，不会瞬间超越人类。

MIT提出新强化学习框架SEAL，可让模型生成微调数据和自我更新指令，实现权重更新。无需人工，模型能自动梯度更新。经知识注入和小样本学习实验验证效果，还介绍了其双循环工作机制。

9月28日千里科技召开首次品牌发布会，董事长印奇展示智能辅助驾驶系统能力。其角色从定点车企服务商变为全车企伙伴，首创‘含模量’概念，还公布‘千里计划’，欲构建跨场景智能服务体系。

ExpeRepair是中科院软件所团队推出的仓库级缺陷修复系统，模拟人类认知的情景和语义两种记忆模式，能积累经验。在SWE - Bench Lite评测中，其Claude - 4+o4 - mini组合修复率达60.3%居首。

GitHub上爆火的开源项目PandaWiki，两周揽2K star，是AI大模型驱动的知识库搭建系统。它将AI能力深度融入全流程，有强大富文本编辑等特色，还能灵活部署，适合中小团队和个人开发者。