关键词 "AIME" 的搜索结果， 共 10 条, 只显示前 480 条
AI-driven video conferencing with real-time translation and avatars.
APPLAIME is an AI platform that optimizes job application materials, improving job search success.
Olabooks is an invoicing software aimed at small businesses, offering a fast and easy way to create and share invoices in real-time.
CheckforAi project sunsetted to focus on new projects, aimed to support and assist individuals. 免费在线检测AI内容
Unlock real-time stock insights with AI.
我们在 Lean 4 中引入了 DeepSeek-Prover-V2，这是一个专为形式化定理证明而设计的开源大型语言模型，其初始化数据通过 DeepSeek-V3 驱动的递归定理证明流程收集。冷启动训练过程首先促使 DeepSeek-V3 将复杂问题分解为一系列子目标。已解决子目标的证明被合成为一个思路链，并结合 DeepSeek-V3 的逐步推理，为强化学习创建初始冷启动。这一过程使我们能够将非
MCP Server and Kali API Server- With Claude Desktop Integ
MCP server for Rijksmuseum OAI-PMH API
DreamFit是什么 DreamFit是字节跳动团队联合清华大学深圳国际研究生院、中山大学深圳校区推出的虚拟试衣框架，专门用在轻量级服装为中心的人类图像生成。框架能显著减少模型复杂度和训练成本，基于优化文本提示和特征融合，提高生成图像的质量和一致性。DreamFit能泛化到各种服装、风格和提示指令，生成高质量的人物图像。DreamFit支持与社区控制插件的无缝集成，降低使用门槛。 Dre
EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力，支持韩语、英语和西班牙语。模型分为32B的专业版和1.2B的端侧版，前者基于多项国家级认证考试，适用高专业领域，后者体积小、性能优，支持本地运行，适合隐私和安全要求高的场景。EXAONE 4.0在国际高难度基准测试中表现优异，如MMLU-Pro 81.8分、AIME 2025 8
只显示前20页数据，更多请搜索
