MathMate是一个智能AI，可以帮助用户掌握数学知识。作为一个有趣的学习伙伴，它提供问题解决方案、逐步解释和互动练习。MathMate能够根据用户的学习风格进行调整，使学习数学变得有趣和高效。
Abel是一个专注于数学领域的生成式AI模型，旨在在代数和分析领域取得突破性成就，通过最新的SOTA技术为用户提供高效的数学问题解决方案。
利用大型语言模型（LLM）作为数学问题的黑箱求解器，为数学问题提供自动化解决方案，探索数学与人工智能的结合
一个强化学习项目，旨在通过少量示例训练大型语言模型以进行数学推理和解决问题。该项目通过使用少量数据和简化的训练流程，使得AI推理训练更加高效，且小模型也能表现出强大的推理能力。
LeanDojo 是一个基于检索增强的语言模型用于定理证明的项目，具备全自动化的数学推理能力，并可与现有的数学工具和资源集成。
Astrallabs.ai是一个由人工智能驱动的智能问答引擎，旨在为用户提供快速、准确的答案。该平台利用先进的自然语言处理技术，能够理解和解析用户的问题，并提供相关的信息和解决方案。无论是寻找特定信息、解答疑难问题，还是进行知识查询，Astrallabs.ai都能有效满足用户需求。
Octogen是一个开源代码解释器，基于GPT3.5/4和Codellama，能够解决代码问题，处理图像和视频，并支持本地部署。
PastaGPT是一个基于GPT-4的AI聊天机器人，旨在为意大利用户提供独特的互动体验，具备即时响应能力，适用于多个领域的支持和指导。
