RLSP（Reinforcement Learning via Self-Play）官网 – 提升大模型推理能力的自弈强化学习框架

AReaL是一个开源分布式强化学习系统，旨在提升大模型的推理能力。该项目完全开源，包括代码、数据和训练方案，支持从单节点到数百GPU的灵活部署，并且由社区驱动，助力AGI研究的加速。

InternLM-Math是一个先进的双语开源数学推理语言模型，具备求解、证明、验证和增强功能，旨在提高数学问题解决的效率和准确性。

GPT-4 是一种多模态生成的人工智能系统，具备写代码、数学能力以及与世界和人类交互的能力。

Calculator Air 是一款AI数学辅导工具，可以轻松解决任何数学问题。用户只需输入想要解决的数学问题，AI数学辅导器会自动完成计算。

DeepSeek-R1 是由 DeepSeek AI 开发、通过 NVIDIA NIM 平台支持的大型语言模型，拥有 6710 亿参数，专注于推理、数学和编码任务。它采用链式思维方法和测试时间扩展技术，能够生成文本、解决复杂推理问题、辅助编码和数学任务，并进行自然语言对话。模型提供精简版本，适合不同硬件环境使用，广泛应用于 AI 研究、教育、编码辅助等领域。

TURN 是一种用于优化大型语言模型（LLMs）温度参数的方法，旨在提高数学问题求解和代码生成等任务的性能。它通过分析生成文本的熵拐点来自适应地选择最佳温度，无需特定验证数据，高效且有效。TURN 在多样本推理场景中表现出色，特别是在数学问题（如 MATH 数据集）和代码生成任务（如 MBPP 数据集）上。

s1是一个基于小型高质量数据集s1K和'预算强制'方法训练的高性能推理模型，旨在通过简单测试时间扩展技术与大型模型竞争。项目强调数据质量优于数量，仅用1,000个样本微调Qwen2.5-32B-Instruct模型，训练成本低至6美元。在竞赛数学问题（如MATH和AIME24）上表现优异，超越OpenAI o1-preview达27%。核心创新是测试时动态控制模型计算努力的'预算强制'技术，通过延长或缩短推理过程提升准确性。

Mark Copy AI 是一款先进的文案创作工具，旨在提升内容创作效率并优化SEO表现。凭借其尖端功能和用户友好的界面，Mark Copy帮助用户以3倍的速度撰写引人注目且符合搜索引擎优化的内容。

PromptDrive.ai 是一个旨在增强提示创建工作流程的网络应用。它允许用户创建提示、添加上下文注释，并高效管理和组织提示，以便于访问和分享。

LogitsProcessors Zoo是NVIDIA开发的一款工具集，旨在为大语言模型（LLM）提供输出控制功能。通过一系列处理器，用户可以自定义和增强模型的行为，以满足特定需求。该工具集支持多种主流框架，如transformers、vLLM和TensorRT-LLM，能够帮助开发者优化模型的生成策略和内容多样性。

AirRAG是一种由阿里提出的检索增强生成（RAG）方法，旨在通过树状搜索激活大型语言模型（LLM）的内在推理能力。它特别针对复杂、知识密集型任务设计，通过五种基本推理动作（系统分析、直接回答、检索回答、查询转换、总结回答）并结合蒙特卡洛树搜索（MCTS）和自一致性验证，扩展解空间，处理复杂任务中的推理路径受限问题。该方法在处理知识密集型查询时表现出更高的灵活性和效率。

Reassurance AI是一个情感支持AI日记，旨在帮助用户改善情感和心理健康，提供互动聊天功能。

Everlyn AI 是一个专为学生设计的智能辅导平台，通过个性化的即时支持和自动化评估，帮助学生在需要的时候获得所需的帮助，促进学习效果，提升教育质量。

Code Snippets AI 是一个旨在提高开发团队编码效率的AI驱动代码片段库，提供上下文丰富的AI聊天功能，帮助团队更好地管理和重用代码。通过安全的代码片段管理和多平台支持，代码片段AI极大地优化了代码的创建、调试和理解过程。

BookRead是一款AI驱动的电子阅读应用，通过提供解释、自测和关键信息，增强用户的阅读体验，帮助理解和记忆所读内容。