SPHERE论文 – 提升小型语言模型数学推理能力

批判微调（CFT）是一种创新的语言模型微调方法，通过训练模型批评错误答案而非单纯模仿正确答案，来提升数学推理能力。研究表明，CFT在数学基准测试中表现优于传统方法，并且具有更高的数据效率和更低的计算成本。CFT通过构建包含50K样本的WebInstruct数据集，使用GPT-4o生成批评数据，训练模型识别和批评噪声响应，从而增强深度分析和细致理解。该方法特别适用于需要逻辑一致性和深度分析的任务，如教育工具、科学分析和自动化问题解决系统。

GPT-4和PaLM-2等大语言模型在数学推理问题上取得显著进展，尤其是GPT-4代码解释器在挑战性数学数据集上表现优异。

这是最大的约 100 万个数学竞赛问题解决方案对的集合，难度从初级挑战赛到数学奥林匹克预选赛不等。

Genkit是由Firebase团队开发的开源框架，用于构建基于AI的应用程序。它提供Node.js和Go的库，以及调试和快速迭代工具。支持多种生成模型API和向量数据库，具有插件架构，可独立于Firebase或Google Cloud使用。

Refinery是一个开源的数据中心化集成开发环境，专注于自然语言处理，结合了程序化标注、广泛的数据管理和神经搜索能力。

AI Detector是一个帮助用户分析和理解人工智能系统的工具，适合从初学者到专业人士。该工具提供了简单易用的界面，让用户能够轻松解码AI的工作原理和功能。

Microsoft 为教育工作者、学生和管理员构建的 GPT-4 提示库，旨在提高生产力和学习。该项目提供多种与教育相关的提示，支持教师、学生和管理人员的不同需求，提升教学和学习的效率，同时包含易于使用的示例和模板。

satprep.me是一个基于GPT-4的智能SAT辅导平台，提供个性化的备考指导，帮助用户提高SAT考试成绩。

Llama 3 是一个开源的大型语言模型，支持在本地和云端运行，具有多种功能和应用场景。它能够在多种操作系统上运行，支持与PDF等文件进行交互，并能够生成图像。

WorkMax是一个利用生成式AI技术的工具，旨在帮助用户最大化工作产出。通过详细的操作手册，用户可以探索多种使用方式，以提升个人和团队的生产力。

Writetone是一个写作工具，帮助用户根据不同场合选择合适的语气，确保写作内容清晰、简洁且有效。它提供语法检查、文本摘要和AI驱动的用例功能，使内容创作更高效，符合特定需求。此外，Writetone还提供免费的文本转语音生成器。

Voicenotes 是一款智能笔记应用，可以自由记录你的想法，利用先进的人工智能技术进行转录，并可以查询你说过的每一个字。

2022年AI领域最新进展追踪 - 精心策划的最新AI突破列表，按发布时间排序，提供清晰的视频解释，链接到更深入的文章和代码。

精选大型语言模型在推理时自我改进的研究论文列表，助力模型性能提升。该项目汇集了大量优秀研究，提供最新的调查结果，旨在帮助研究者和开发者优化大型语言模型的性能。

125个ChatGPT提示，旨在帮助用户利用AI工具学习如何在TikTok、Twitter、Instagram、Facebook和YouTube上建立和扩大自己的受众群体。这些提示提供了实用的建议和策略，帮助用户提升在线影响力。