DataCanvas 九章云极言表实验室北京大学

大模型预训练全球直播

北京大学、言表实验室联合训练

LIVE

言表实验室

围绕智能体、强化学习等技术,通过产学研联合的方式持续展开研究、探索与实验,并将研究成果沉淀为探索经验与产品。

“言表”借自墨子的言表之说,也对应我们认知世界的过程:先回到事实,再经过推演,最后交给实践验证。

本历史事实

从真实场景、数据与约束出发,将 AI 问题的边界讲清楚。

原逻辑推演

把业务逻辑、领域知识与推理路径组织成可讨论、可复用的方法。

用实践结果

在产品、案例与真实流程中验证效果、边界与长期价值。

探索方向

让智能体在真实反馈中进化,让科学推理可验证。

言表实验室围绕智能体强化学习与可验证科学智能,连接真实任务、轨迹评测、形式化验证与能力沉淀。

探索完整研究方向
001/强化学习

让智能体在真实反馈中持续进化。

以真实任务、轨迹评测与持续训练闭环,构建可运行、可复用的智能体学习基础设施。

002/科学智能

从 AI4Math 出发,让科学推理可验证。

将大模型、智能体与 Lean 形式化验证结合,让推理结论在机器校验中持续修正与积累。

创新产品
ForgingMA

ForgingMA 是面向垂直领域的自进化多智能体强化学习框架,通过信用分配、小模型专精化与协同策略优化,让智能体从任务反馈中持续学习。

查看产品详情
洞察分享

博客

查看全部博客

案例分享

查看全部案例

关于我们

实验室介绍

以言表知 · 以智造物

“言表”借自墨子的言表之说,也对应我们认知世界的过程:先回到事实,再经过推演,最后交给实践验证。

我们探索“智能”的本体,构建可推理、可协作、可演化的 AI 系统,推动人机共生的未来。

加入我们

  1. 01助理算法研究员|数学物理 · 科学推理与形式化证明
  2. 02助理算法研究员|生物材料 · 分子设计与科学发现
  3. 03助理算法研究员|Agentic RL · 强化学习与智能体推理
  4. 04高级算法研究员|AI4S · 强化学习与多智能体系统