Imandra是一个推理即服务的平台，赋予AI逻辑推理能力，适用于构建大型语言模型的思维模型、正式验证论证和结果，以及可审计的逻辑推理。
MInference是一种高效的长上下文大型语言模型（LLM）推理加速工具，采用动态稀疏注意力机制和稀疏计算方法，显著加速长序列处理的预填充过程。它能够在保持高准确性的同时，将LLM处理百万上下文的时间提速10倍，适用于A100等硬件平台。MInference可直接应用于现有的LLM，无需预训练或额外微调，已在多个基准模型上验证其性能。
Tree of Thoughts (ToT) 是一个强大而灵活的算法，能将模型推理能力提升多达70%。该插件式版本允许用户连接自己的模型，体验超智能的推理能力。
o1推理链旨在利用Groq、OpenAI或Ollama等技术，创建类似o1的推理链，以提高大型语言模型（LLMs）的逻辑推理能力。该项目提供了创建和管理推理链的工具，具有优良的可扩展性和灵活性，适合多种应用场景。
Gemini是谷歌最大的AI模型，旨在通过加速人类进步和改善生活给人类和社会带来巨大利益。它在多个领先基准上表现出色，支持不同尺寸的优化：Ultra、Pro和Nano。Gemini从零开始构建为多模态，能够理解、操作和结合文本、代码、音频、图像和视频等不同类型的信息。
Flipner AI 是一种创新的文本创作工具，可以让用户随时随地捕捉各种想法，存储文本和音频笔记于内容中心。通过 Flipner 直观的 AI 工具，用户可以将自己的思路转化为结构化的草稿或可直接使用的文本。
用LLM进行复杂推理的框架，采用先进的推理算法，将多步推理视为规划，并搜索最优的推理链，以实现'世界模型'和'奖励'的最佳平衡。
Ambrosia是一个强大的Python库，专注于A/B测试的设计、拆分和结果测量，支持复杂的实验设计和自动化的数据收集，提供结果分析和可视化工具，易于与现有的Python项目集成。
Eticas是一个专注于通过自动化审计和独特的数据库，系统性地消除AI系统中的意外偏见的项目。凭借十年的负责任AI经验，Eticas能够确保输出的有效性和合规性。
