研究 - 智狐AI导航

Walles.AI

Walles.AI是一款多功能AI阅读工具，涵盖网页阅读、PDF解析、视频摘要生成及智能聊天对话等功能。它通过GPT-4和GPT-3.5技术支持，可快速提取关键信息并生成摘要，适用于学术研究、职场效率提升、语言学习及教育辅导等多个领域。

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

clay

Clay是一款以AI为核心驱动的营销平台，通过整合海量数据提供商和自动化研究功能，帮助企业优化市场研究、潜在客户开发、个性化营销及销售外联等流程。其核心功能包括数据丰富化、AI辅助研究、个性化外联内容生成以及与CRM和邮件工具的深度集成。Clay显著提高了客户触达的效果，响应率可提升至原来的2-3倍。

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

星火插件

星火插件是一款基于星火大模型的浏览器扩展工具，集成了讯飞星火V4.0的AI能力，支持划词搜索、翻译、网页内容摘要生成及信息收藏等功能。它通过轻量化设计兼容主流浏览器，注重个性化配置，可跨平台使用，适用于信息检索、阅读、知识管理等多种场景，致力于提升用户的工作效率。

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

FILM

Frame Interpolation是一个开源的神经网络模型，能够在两个视频帧之间生成高质量的中间帧，特别适合需要处理大范围场景运动的应用。

Ai视频生成 1970年01月01日 0 点赞 0 评论 481 浏览

Circuit Tracer

Circuit Tracer 是 Anthropic 推出的开源工具，用于研究大型语言模型的内部工作机制。它通过生成归因图揭示模型在生成特定输出时的决策路径，帮助研究人员追踪模型的决策过程、可视化特征关系并测试假设。支持多种主流模型如 Gemma 和 Llama，提供交互式可视化界面，便于探索和分析模型行为。其功能包括生成归因图、可视化与交互、模型干预以及支持多种模型。

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

Goedel

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

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