退火科技 · 研究与工程

让智能,
经得起验证。

从评测基准到执行环境,为实际任务构建可靠的 AI。

任务、执行环境、轨迹与评测的分层工程结构
  • Task任务定义
  • Environment执行环境
  • Trace执行轨迹
  • Evaluation评测与反馈
我们的能力

从评测到执行,
把问题做具体。

我们研究模型如何判断事实、智能体如何使用工具,也把领域经验整理成可执行的流程。方法来自研究,效果要在实际任务中检查。

Benchmark

设计样本、标准和协议,关注单条事实,也检查事实之间的关系。

从任务中建立评测

Verification

结合检索、事实分解和嵌入对齐,定位生成内容与证据的差异。

让判断回到证据

Agent Environments

接入工具、质量判断和异常恢复,让智能体能在具体工作流程中执行任务。

把经验写进执行环境
客户足迹

服务不同领域的用户。

69客户主体
15省级地区
31高校及科研单位
查看客户足迹
我们的产品

Lucky Code

AI 编程工作台

把安装、登录和日常编程协作放在同一套工作流中。支持 Web 与 TUI,查看文件、检查变更,也能在终端继续工作。

了解 Lucky Code
Lucky Code 官网公开的 Web 工作台界面
团队代表研究

研究积累,有据可查。

成员参与的代表工作及公开出处。

探索研究成果

E-Verify

Findings of EMNLP 2025

Vibe Calibration

arXiv · 预印本
与我们一起

一起定义下一个实际任务。

带着你的业务问题、数据和工作方式,与我们聊聊。

与我们交流