BitsAI-baidu09CR – 字节跳动推出的自动化代码审查工具
BitsAI-CR是字节跳动团队推出的基于大型语言模型（LLM）的自动化代码审查工具，通过两阶段处理流程实现高效代码审查：RuleChecker 负责基于 219 条规则检测潜在问题，ReviewFilter 验证问题提高精度。
32
0
2025-08-28
BFS-baidu09Prover – 字节豆包推出的自动定理证明系统
BFS-Prover 是字节跳动豆包大模型团队推出的基于大语言模型（LLM）的自动定理证明系统，通过改进传统的广度优先搜索（BFS）算法，结合专家迭代、直接偏好优化等技术，实现了高效的证明搜索。
25
0
2025-08-28
