LongCat-Flash-Prover:美团LongCat团队开源的千亿级定理证明与形式化推理方案
LongCat-Flash-Prover是美团LongCat团队开源的混合专家(MoE)模型仓库,核心聚焦Lean4编程语言中的原生形式化推理任务,基于56000亿参数的大规模MoE模型与工具集成推理(T...
LongCat-Flash-Prover是美团LongCat团队开源的混合专家(MoE)模型仓库,核心聚焦Lean4编程语言中的原生形式化推理任务,基于56000亿参数的大规模MoE模型与工具集成推理(T...
KokoClone是依托Kokoro-ONNX快速神经TTS引擎与Kanade语音转换架构打造的开源实时多语种语音克隆系统,具备文本克隆、音频克隆两大核心能力,仅需3-10秒参考音频即可实现零样...
ID-LoRA是基于LTX‑2/LTX‑2.3联合音视频扩散基座打造的零样本、轻量、端到端说话人生成开源项目,仅需单张人脸参考图+5秒左右参考音频,即可生成人脸高度一致、音色精准复...
IndexCache是由清华大学与Z.ai(智谱AI)联合研发、面向DeepSeek Sparse Attention(DSA)架构大模型的推理加速开源补丁,核心通过跨层索引复用技术消除75%索引器冗余计算,...
Leanstral是Mistral AI推出的首款专为Lean 4打造的开源代码智能体,以6B激活参数的高度稀疏架构实现高效的形式化证明与代码验证能力。该智能体可在真实的形式化代码仓库中运...
MiroFish是一款由中国00后开发者打造的开源多智能体群体智能预测引擎,基于现实种子信息自动构建高保真平行数字世界,通过具备独立人格与长期记忆的智能体交互演化,实现舆...
Solaris 是全球首个面向《我的世界》(Minecraft)的多人视频世界模型开源项目,由纽约大学研究团队基于 JAX 框架实现,支持 GCP TPU 训练与推理、GPU 推理,并内置 VLM-as...
OpenJarvis是由斯坦福大学Hazy Research与Scaling Intelligence Lab联合研发、基于本地优先(Local-First) 理念的开源个人AI智能体框架,核心目标是让AI默认在用户本地设备...
CLI-Anything是由香港大学数据科学学院(HKUDS) 开源的AI智能体软件适配框架,核心定位是让所有软件一键变成Agent-Native(智能体原生)。它通过全自动流水线,从软件源码...
JadeAI是一款基于Next.js与TypeScript开发的开源AI智能简历构建工具,提供50+专业模板、可视化拖拽编辑、AI一键生成、PDF/图片解析、JD匹配评分、多格式导出等能力,支持Do...
HY-WU(混元无相)是腾讯混元团队开源的可扩展功能性神经记忆框架,通过推理时实时生成实例级LoRA参数,解决传统模型静态权重导致的灾难性遗忘与性能跷跷板问题,专注文本引...
Faster-Whisper是由SYSTRAN团队开发并开源的OpenAI Whisper语音转文本模型的高性能重构实现,核心依托CTranslate2——一款专为Transformer架构设计的轻量级、高性能推理引擎...
description:N46Whisper是基于Google Colab与faster-whisper开发的开源日语视频字幕生成工具,专为乃木坂46等坂道系字幕组设计,支持高精度语音转写、AI双语翻译、批量处理...
ImageCritic是由南开大学HVision实验室推出的开源AI图像后处理项目,基于参考引导的注意力对齐机制,专门解决扩散模型生成图像中常见的细节错位、纹理不匹配、结构不一致等...
OpenSandbox是阿里巴巴开源的面向AI应用场景的通用沙箱平台,提供多语言SDK、统一沙箱协议、Docker/Kubernetes双运行时与开箱即用的沙箱环境,可安全支撑代码执行、命令操作...