算法 - 智狐AI导航

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 479 浏览

BeeBee AI

AI驱动的投资分析平台，可为投资者提供深入的见解和实时新闻。凭借其用户友好的界面和强大的 AI 功能，BeeBee AI 简化了复杂的财务报告和财报电话会议，为日常投资者提供了宝贵的见解。

财经投资 2025年06月05日 52 点赞 0 评论 467 浏览

文墨启名

InkInspire Names 是一款结合中国传统文化和现代AI技术的取名应用。它利用 RAG 技术，为用户提供具有深厚文化底蕴的宝宝名字，并通过智能算法生成符合用户需求的名字。该应用支持文化融合、个性化定制及五格数理分析，帮助用户为新生儿挑选出既有内涵又易于记忆的名字。

AI项目与工具 2025年06月12日 26 点赞 0 评论 460 浏览

AgentSquare

AgentSquare是一款由清华大学团队研发的模块化设计工具，专注于在大型语言模型代理的设计空间内实现高效搜索。其核心功能包括模块化设计、模块重组与进化、性能预测及自动化搜索等，通过标准化接口支持模块间无缝集成，广泛应用于客户服务、个人助理、教育、医疗及金融等多个领域，旨在提升智能体性能并降低推理成本。

AI项目与工具 2025年06月12日 39 点赞 0 评论 459 浏览

FlexiAct

FlexiAct是由清华大学与腾讯ARC实验室联合研发的动作迁移模型，可在空间结构差异较大的场景下实现精准动作迁移，并保持目标主体的外观一致性。其核心模块包括轻量级RefAdapter和频率感知动作提取（FAE），有效提升跨主体动作迁移的灵活性与准确性。该模型适用于影视、游戏、广告等多个领域，具有良好的应用前景。

AI项目与工具 2025年06月11日 39 点赞 0 评论 451 浏览

TPO

TPO（Test-Time Preference Optimization）是一种在推理阶段优化语言模型输出的框架，通过将奖励模型反馈转化为文本形式，实现对模型输出的动态调整。该方法无需更新模型参数，即可提升模型在多个基准测试中的性能，尤其在指令遵循、偏好对齐、安全性和数学推理等方面效果显著。TPO具备高效、轻量、可扩展的特点，适用于多种实际应用场景。

AI项目与工具 2025年06月12日 83 点赞 0 评论 451 浏览