产品库

数学作为黑箱的深度学习模型

MathBlackBox是一个深度学习模型，旨在探索数学问题解决的黑箱方法。它使用VLLM或其他OpenAI兼容的方法，通过Huggingface工具包和OpenAI进行推理，支持在Slurm环境下运行，并能够处理多种数据集。该项目目前处于早期阶段，需要充分测试后才能部署到实际产品中。

新一代数学模型，专注于解决复杂数学问题。

Qwen2-Math是一系列基于Qwen2 LLM构建的专门用于数学解题的语言模型。它在数学相关任务上的表现超越了现有的开源和闭源模型，为科学界解决需要复杂多步逻辑推理的高级数学问题提供了重要帮助。

一款开源的14B参数量的数学模型，通过强化学习训练，性能卓越。

Light-R1-14B-DS 是由北京奇虎科技有限公司开发的开源数学模型。该模型基于 DeepSeek-R1-Distill-Qwen-14B 进行强化学习训练，在 AIME24 和 AIME25 数学竞赛基准测试中分别达到了 74.0 和 60.2 的高分，超越了许多 32B 参数量的模型。它在轻量级预算下成功实现了对已经长链推理微调模型的强化学习尝试，为开源社区提供了一个强大的数学模型工具。该模型的开源有助于推动自然语言处理在教育领域的应用，特别是数学问题解决方面，为研究人员和开发者提供了宝贵的研究基础和实践工具。

智能解决数学问题，提升学习效率

AI数学解题器是由数学AI和数学GPT模型（如GPT-4o）驱动的在线工具，旨在提供广泛的数学问题解决方案。它利用先进的人工智能技术，为学生和教师提供详尽的分步解答，增强了对数学概念的理解和解题能力。该产品背景是数学学习中对高效解题工具的需求，定位于免费提供高质量的教育支持。

世界领先的数学开源大语言模型

Qwen2.5-Math是一系列专门针对数学问题设计的开源大语言模型，包括基础模型和指令微调模型，支持中英双语，能够通过思维链（CoT）和工具集成推理（TIR）方式解决数学问题。该模型在多个数学基准测试中表现优异，特别是在精确计算和算法操作方面。Qwen2.5-Math的开发背景是提升大语言模型在数学领域的应用能力，推动数学教育和研究的发展。

数学 7b 模型，帮助解决数学问题。

Internlm2 Math 7b 是一个基于 Hugging Face 平台的数学模型，主要用于解决数学问题。它能够处理各种数学题目，包括代数、几何、概率统计等。使用该模型可以提供准确的数学计算和解答，帮助用户学习和理解数学知识。Internlm2 Math 7b 提供简单易用的 API 接口，可以方便地集成到其他应用程序中。该模型基于深度学习技术，具有较高的准确性和可靠性。它适用于教育领域的数学辅助学习、作业辅导等场景。

展示小型语言模型通过自我演化深度思考掌握数学推理能力的研究成果。

rStar-Math是一项研究，旨在证明小型语言模型（SLMs）能够在不依赖于更高级模型的情况下，与OpenAI的o1模型相媲美甚至超越其数学推理能力。该研究通过蒙特卡洛树搜索（MCTS）实现“深度思考”，其中数学策略SLM在基于SLM的流程奖励模型的指导下进行测试时搜索。rStar-Math引入了三种创新方法来应对训练两个SLM的挑战，通过4轮自我演化和数百万个合成解决方案，将SLMs的数学推理能力提升到最先进水平。该模型在MATH基准测试中显著提高了性能，并在AIME竞赛中表现优异。

深度学习模型训练脚本集

x-flux是由XLabs AI团队发布的深度学习模型训练脚本集，包括LoRA和ControlNet模型。这些模型使用DeepSpeed进行训练，支持512x512和1024x1024图片尺寸，并且提供了相应的训练配置文件和示例。x-flux模型训练旨在提高图像生成的质量和效率，对于AI图像生成领域具有重要意义。

从零开始学习深度学习，实现GPT模型

zero_to_gpt是一个旨在帮助用户从零基础学习深度学习，并最终实现训练自己的GPT模型的教程。随着人工智能技术走出实验室并广泛应用于各行各业，社会对于能够理解并应用AI技术的人才需求日益增长。本教程结合理论与实践，通过解决实际问题（如天气预测、语言翻译等）来深入讲解深度学习的理论基础，如梯度下降和反向传播。课程内容从基础的神经网络架构和训练方法开始，逐步深入到复杂主题，如变换器、GPU编程和分布式训练。

基于深度强化学习的模型微调框架

ReFT是一个开源的研究项目，旨在通过深度强化学习技术对大型语言模型进行微调，以提高其在特定任务上的表现。该项目提供了详细的代码和数据，以便研究人员和开发者能够复现论文中的结果。ReFT的主要优点包括能够利用强化学习自动调整模型参数，以及通过微调提高模型在特定任务上的性能。产品背景信息显示，ReFT基于Codellama和Galactica模型，遵循Apache2.0许可证。

深度学习天气预测模型

GraphCast是由Google DeepMind开发的深度学习模型，专注于全球中期天气预报。该模型通过先进的机器学习技术，能够预测天气变化，提高预报的准确性和速度。GraphCast模型在科学研究中发挥重要作用，有助于更好地理解和预测天气模式，对气象学、农业、航空等多个领域具有重要价值。

深度学习API，简单、灵活、强大

Keras是一个为人类设计的API，遵循最佳实践，简化认知负荷，提供一致而简单的API，最大限度地减少常见用例所需的用户操作次数，并提供清晰而可操作的错误信息。Keras旨在为任何希望推出基于机器学习的应用程序的开发人员提供不公平的优势。Keras专注于调试速度、代码优雅性和简洁性、可维护性和可部署性。使用Keras，您的代码库更小，更易读，更易于迭代。您的模型在XLA编译和Autograph优化的加持下运行更快，并且更容易在每个平台（服务器、移动设备、浏览器、嵌入式设备）上部署。

统一的深度学习训练框架

AXLearn是Apple基于JAX和XLA构建的深度学习库,采用面向对象的方式解决软件工程在大规模深度学习模型开发中的挑战。它的配置系统允许用户从可重用的构建块中组合模型,并与其他库(如Flax和Hugging Face transformers)集成。AXLearn旨在扩展训练规模,支持数百亿参数的模型在数千个加速器上高效训练,适合在公有云上部署。它还采用全局计算范式,允许用户描述全局虚拟计算机上的计算,而不是单个加速器。AXLearn支持广泛的应用,包括自然语言处理、计算机视觉和语音识别,并包含用于训练最先进模型的基线配置。

AI辅助SAT数学学习

Math99th是一款AI辅助的数字SAT数学学习平台，提供超过50,000个个性化测试题，针对765-800分数段进行精准备考训练，还有详尽的分析数据和个性化辅导支持。产品由ICPC世界总决赛选手、数学奥林匹克奖牌获得者、亚马逊、阿里巴巴、麦肯锡等公司的校友共同打造。

Lychee是最新OpenAI模型驱动的终极AI聊天机器人！

Lychee是一款由最新的OpenAI模型驱动的AI聊天机器人。它提供了多个助手供您选择，包括开发者、教师、喜剧演员，甚至朋友。无论是写求职信还是讲笑话，Lychee都能帮助您。未来将推出定制助手等功能，让您拥有无限可能。告别压力，与Lychee一起迎接AI聊天机器人的未来！

免费数学学习应用

Math-X是一款免费的数学学习应用。它提供无限的数学学习资源，让你可以按照自己的速度探索数学的无限世界。无论是解决普通题目还是复杂的应用题，Math-X都能助你轻松应对。它提供实时的解答，24/7在线服务。同时，它还提供全面的课本解析，让你不仅能得到答案，还能理解解题过程。Math-X将释放你的数学超能力！

开放数学语言模型

Llemma是一个开放的数学语言模型，提供数据和训练代码。它可以用于数学相关的任务，如定理证明、数学文本生成等。Llemma具有高质量的数学训练数据，可以帮助用户进行数学研究和应用开发。Llemma的优势在于其开放性和灵活性，用户可以根据自己的需求进行定制和扩展。Llemma的定价信息请参考官方网站。

SnapXam是一个数学虚拟助手，可帮助您更快、更轻松地学习数学。具有步骤的数学求解器。

SnapXam是一个使用人工智能技术的数学学习工具，可以帮助用户理解和解决从算术到微积分的数学问题。它节省了理解数学概念和查找解释视频的时间。用户可以以更好的方式解决问题，并节省大量时间。

深度学习算法与大模型面试指南，持续更新的面试题目集合。

DeepLearing-Interview-Awesome-2024 是一个开源的面试题目集合项目，专注于深度学习算法和大模型领域的面试准备。该项目由社区成员共同维护，旨在提供最新的面试题目和答案解析，帮助求职者和研究人员深入理解深度学习领域的前沿技术和应用。它包含了丰富的面试题目，覆盖了大语言模型、视觉模型、通用问题等多个方面，是准备深度学习相关职位的宝贵资源。

双语开源数学推理大型语言模型。

InternLM-Math-Plus 是一个最新的双语（英文和中文）开源大型语言模型（LLM），专注于数学推理，具有解决、证明、验证和增强数学问题的能力。它在非正式数学推理（如思维链和代码解释）和正式数学推理（如LEAN 4翻译和证明）方面都有显著的性能提升。

一种用于生成图像的深度学习模型。

SD3-Controlnet-Canny 是一种基于深度学习的图像生成模型，它能够根据用户提供的文本提示生成具有特定风格的图像。该模型利用控制网络技术，可以更精确地控制生成图像的细节和风格，从而提高图像生成的质量和多样性。

深度学习、表示学习、细粒度分类

xinsir (qi) 是一个关于深度学习、表示学习和细粒度分类的产品。它提供了强大的功能和技术，具有主要优点和背景信息。该产品具有多个模型可供选择。

高级API，简化TensorFlow深度学习

TFLearn是一个基于TensorFlow的深度学习库，提供了一个高级API，用于实现深度神经网络。它具有易于使用和理解的高级API，快速的原型设计功能，全面的TensorFlow透明性，并支持最新的深度学习技术。TFLearn支持卷积网络、LSTM、双向RNN、批量归一化、PReLU、残差网络、生成网络等模型。可以用于图像分类、序列生成等任务。

将OpenAI协议转换为Google Gemini Pro协议

Gemini-OpenAI-Proxy是一个代理软件。它旨在将OpenAI API协议调用转换为Google Gemini Pro协议,以便使用OpenAI协议的软件可以在不改变感知的情况下使用Gemini Pro模型。如果您有兴趣使用Google Gemini但不想修改软件,Gemini-OpenAI-Proxy是一个很好的选择。它允许您轻松地集成Google Gemini的强大功能,而无需进行任何复杂的开发工作。

让数学变得简单

Amy 是一个致力于帮助人们轻松学习数学的在线平台。它提供了各种数学学习资源，包括教程、练习题和解答等。Amy 通过简化数学概念和提供实用的学习工具，让数学变得容易理解和应用。

你的数学助手

Photo2math是一款数学助手APP，可以帮助用户解决数学问题。它提供了多种功能，包括解决数学题目、上传图片解题、手写公式解题等。Albert Bro可以帮助学生和教师更轻松地学习和教授数学知识。

用于识别数学推理过程中的错误

ProcessBench是一个专注于数学推理错误的识别工具。它通过分析数学问题的解决步骤来识别过程中的错误，这对于教育领域尤其是数学教育具有重要意义。该工具可以帮助学生和教师识别和纠正数学解题过程中的错误，提高解题的准确性和效率。ProcessBench基于深度学习技术，能够处理大量的数学问题数据，为数学教育提供技术支持。

24/7人工智能辅导，真实学习，免费数学辅导

Bytelearn是一款提供24/7人工智能辅导的免费数学学习平台。它通过算术、几何、代数、微积分等多个阶段的学习，帮助学生真实学习并在数学考试中取得优异成绩。Bytelearn的独特之处在于，它不仅仅给出答案，还会引导学生逐步理解和解决问题，确保学生真正掌握数学知识。Bytelearn还提供专为学校而设计的解决方案，支持一对一的人工智能辅导、自动差异化学习、有针对性的反馈，让学习过程更加有趣和支持性。

深入理解深度学习的原理与应用

《Understanding Deep Learning》是一本深入探讨深度学习原理和应用的书籍。它提供了丰富的数学背景知识、监督学习、神经网络的构建与训练等深度学习领域的全面内容。书中提供的Python笔记本练习帮助读者通过实践来加深理解。此外，还有为教师提供的资源，包括图像、幻灯片和教辅材料。

集成Firecrawl的OpenAI实时API控制台

firecrawl-openai-realtime是一个集成了Firecrawl的OpenAI实时API控制台，旨在为开发者提供一个交互式的API参考和检查器。它包括两个实用库，openai/openai-realtime-api-beta作为参考客户端（适用于浏览器和Node.js），以及/src/lib/wavtools，后者允许在浏览器中简单管理音频。该产品是使用create-react-app创建的React项目，并通过Webpack打包。