Generative AI tool for your documents.

小红书hi lab（Humane Intelligence Lab，人文智能实验室）团队首次开源文本大模型 dots.llm1。 dots.llm1是一个中等规模的Mixture of Experts (MoE)文本大模型，在较小激活量下取得了不错的效果。该模型充分融合了团队在数据处理和模型训练效率方面的技术积累，并借鉴了社区关于 MoE 的最新开源成果。hi lab团队开源了所有模型和必要的训练

Search all your apps and files in one place.

AI platform for creating Generative AI assistants without coding

Fast reading, intelligent conversations, and webpage summarization with iTextMaster.

我们在 Lean 4 中引入了 DeepSeek-Prover-V2，这是一个专为形式化定理证明而设计的开源大型语言模型，其初始化数据通过 DeepSeek-V3 驱动的递归定理证明流程收集。冷启动训练过程首先促使 DeepSeek-V3 将复杂问题分解为一系列子目标。已解决子目标的证明被合成为一个思路链，并结合 DeepSeek-V3 的逐步推理，为强化学习创建初始冷启动。这一过程使我们能够将非

Unleash your data's potential.

Intellecs.AI simplifies information retrieval, summaries, and questioning for PDF documents.

Legal document search and analysis platform

AI-powered Mac app to search media files

AI-powered tool for fast, custom file renaming

Summary: PDF.ai is a ChatPDF app that enables users to chat with PDFs, ask questions, get summaries, and find information easily.

AI sidebar for productivity with various features.

Efficient financial document organization

Your AI-Powered Personal Injury Assistant

AI-powered platform for firm automation and client management

ChattyDocs is an AI assistant for managing documents and communicating with data.

Automate data processing for businesses of all sizes.

Chat with all forms of data - from everyday documents to intricate databases.

"AI Text Insights is a powerful platform for analyzing and summarizing various files in any language."

Chat with files, get accurate responses, access documents easily without scrolling or searching.

Casetext develops AI legal assistant for legal professionals.

MindPal: AI-powered platform for professionals to enhance productivity with various features.

Transforms files into AI-ready formats like Markdown and JSON.