Weavely官网 – Figma中的首个AI表单生成器

WorkHack是一个创新的平台，通过AI技术将表单创建转变为更具互动性和个性化的对话体验，旨在提高用户参与度和数据质量。

Pansophic是一个先进的AI驱动工具，旨在简化用户访谈和收集宝贵反馈的过程。通过AI代理，Pansophic有效收集用户洞察，帮助改进产品，提升用户满意度。

Design Copilot是一个基于AI的平台，提供实时的UI/UX反馈，帮助设计师、产品负责人和代理商创建引人入胜的设计。用户只需拖放设计文件或使用Figma插件即可获取直接反馈。该平台分析设计并提供关于颜色、排版、布局等方面的即时建议，同时还提供用户流程分析和无障碍合规性验证。

一个Figma和FigJam的widget，支持将绘制或设计的内容转变为功能原型，利用GPT-4V将图像转成代码。

Dora是一个无代码平台，让设计师轻松创建令人惊叹的3D和动画网站，无需编写代码。用户可以在可视化画布上设计和发布专业的定制网站。

Feathery是一个AI表单生成器，用户可以快速而轻松地创建高质量的表单。凭借其AI表单助手和强大的编辑器，用户可以打磨他们的表单，以创造完美的用户体验。只需输入表单问题并选择响应格式，Feathery的AI助手会在几秒钟内为您生成高质量的表单，随后可以使用其强大的编辑器进一步自定义表单并进行必要的调整。

Centaur 是一种通过测试时训练（TTT）实现鲁棒端到端自动驾驶的新方法。它利用 Cluster Entropy 这一不确定性度量，通过最小化规划不确定性来增强规划器的鲁棒性。该方法在 navtest 基准测试中取得了最先进的性能，并引入了 navsafe 基准，专注于安全关键的驾驶场景，如紧急避障或复杂交通状况。

ComfyUI_SparkTTS 是一个基于 Qwen2.5 构建的开源模型，专注于合成语音和语音克隆。它提供简单高效的语音生成解决方案，支持高质量语音克隆、双语生成以及语音参数的可控调整，适用于多种场景。

STP是斯坦福大学开发的科研项目，通过自对弈机制增强大型语言模型（LLM）在形式化定理证明中的能力。项目创新性地让模型同时扮演猜想者和证明者角色，迭代生成并验证新猜想，解决了传统方法中高质量训练数据稀缺的问题。支持Lean/Isabelle验证器，在miniF2F-test（65.0%通过率）和LeanWorkbook（28.5%通过率）等基准测试中显著超越先前方法。提供完整模型、数据集和训练代码，基于levanter/DeepSeek-Prover-V1.5/LeanDojo等库构建。

DeepSeek-R1 是一个基于 SGLang 和 SkyPilot 实现的高吞吐量服务，专门用于大规模语言模型的部署和高效服务。它通过优化计算资源和网络通信，显著提升了语言模型的处理能力和响应速度，适用于需要高吞吐量的场景。

TaskFlowAI是一个轻量且灵活的框架，专为创建AI驱动的任务流程和多Agent工作流而设计。它为开发者提供了一种简化的方法来构建智能系统，支持数百种语言模型，涵盖OpenAI、Anthropic等，并提供了丰富的工具集，支持网络交互、文件操作和嵌入式生成。

RepoBase是一个基于人工智能的投资分析工具，专注于探索GitHub上的开源项目，提供关于这些项目潜力和成就的深入见解。用户可以通过该平台分析项目、设置提醒并跟踪潜在的投资机会。

LlamaParse是一款专门用于解析包含表格、图表和图像的复杂幻灯片的工具，能够生成视觉丰富的报告，支持文本和图像的混合输出。它支持多模态功能，能够处理多种数据源，并实现文本和图像块的向量索引。此外，LlamaParse还能生成结构化输出，便于创建复杂的报告，并与RAG（检索增强生成）技术集成，提升报告生成的质量和效率。

Nanobrowser是一款开源的AI网页自动化工具，作为OpenAI Operator的替代品，支持在本地浏览器中运行，注重隐私保护。它基于多智能体系统，能够自主完成复杂的网页任务，支持信息提取和自动化操作。用户可以使用自己的LLM API密钥，灵活选择不同的模型为智能体提供支持。该工具完全免费，无需订阅费用，数据永不外泄，适合需要隐私保护和高度自定义的用户。

该项目是一篇立场论文，由Theodore Papamarkou等25位学者联合发表，强调贝叶斯深度学习（BDL）在大型AI时代的关键作用。论文指出，尽管传统深度学习在大型监督任务中表现优异，但忽视了不确定性量化、主动学习及多样化数据处理等核心问题。BDL通过为深度学习模型提供概率框架，能够有效解决这些问题，尤其适用于小数据集和科学数据等复杂场景。论文在2024年国际机器学习会议（ICML）上发表，并呼吁学术界更广泛地采用贝叶斯方法。