搜索结果：cv（11 个）

支持图像、视频、音频和 3D 数据集的标注平台，提供 AI 辅助标注及协作管理功能。

用于在顶尖 AI 会议和期刊论文中绘制高质量图表的 Python 脚本集。

轻量高效的跨平台桌面标注工具，支持文本、图像、视频、点云等多模态数据标注。

面向 AI Agent 的单文件无服务器记忆层，用于替代复杂 RAG，提供即时检索与长期记忆。

SynapseML（原 MMLSpark）是基于 Apache Spark 的分布式机器学习库，主要解决大规模数据下构建 ML 流水线复杂度高的问题。它无缝兼容 SparkML API，支持在弹性集群上分布式训练，覆盖文本分析、计算机视觉、异常检测及深度学习等任务，并支持 Python、Scala 等多语言调用。

Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。

Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。

Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核（Rocket）、乱序核（BOOM）、向量单元和加速器（Gemmini、NVDLA 等），并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程，帮开发者快速构建并验证全功能定制芯片。

用于流式 3D 重建的几何上下文 Transformer 模型。

CVPR 2025 最佳论文获奖项目，基于视觉几何定位的 Transformer 模型。

CVPR 2024 论文 MagicAnimate 官方仓库：基于扩散模型的时序一致人物图像动画生成。