模型07:44
MAI-Transcribe-1 在语音转录领域遥遥领先语音转录是许多 AI 应用的基础，MAI-Transcribe-1 的突破意味着做语音助手、会议记录或字幕生成的团队可以直接获得更优方案，值得关注。
#AI 基准
共 2 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「AI 基准」标签的资讯、产品与论文，按刊登时间排，新的在上。
6月6日
6月2日
论文09:41
FVSpec：用 Lean 4 挑战真实世界属性测试的 AI 基准形式验证是 AI 生成代码质量保障的关键，做 AI 安全或软件验证的开发者可以直接用这个基准测试自己的模型，看看能否补全 Lean 证明。