Stars
We present FlashPortrait, an end-to-end video diffusion transformer capable of synthesizing ID-preserving, infinite-length videos while achieving up to 6$\times$ acceleration in inference speed.
Official PyTorch Implementation of "Flow Map Distillation Without Data"
In Pursuit of Pixel Supervision for Visual Pre-training
Native and Compact Structured Latents for 3D Generation
Sharp Monocular View Synthesis in Less Than a Second
A text-to-speech (TTS), speech-to-text (STT) and speech-to-speech (STS) library built on Apple's MLX framework, providing efficient speech analysis on Apple Silicon.
一个类似于Notebook LM，以用户自有知识为中心的 AI 工作空间，帮助你思考、研究与写作。更方便，更轻量，更懂你！
The repository provides code for running inference with the Meta Segment Anything Audio Model (SAM-Audio), links for downloading the trained model checkpoints, and example notebooks that show how t…
Fully autonomous AI hacker to find actual exploits in your web apps. Shannon has achieved a 96.15% success rate on the hint-free, source-aware XBOW Benchmark.
Claude skills for Lean 4 theorem proving
Python client to interact with the lean4 language server.
LLMs as Copilots for Theorem Proving in Lean
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
Retrieval-Augmented Theorem Provers for Lean
Formalization of IMO shortlist problems in Lean 4
The official repository of the Omni-MATH benchmark.
This is official repository of the MathAI 2025 conference ( https://mathai.club/ ).
Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
A curated list of awesome mathematics resources
Official PyTorch Implementation of "SVG-T2I: Scaling up Text-to-Image Latent Diffusion Model Without Variational Autoencoder".
Z-Image workflow with predefined styles for high-quality image generation and a user-friendly experience. Includes pre-configured versions for GGUF and SAFETENSORS checkpoint formats.
A simple app-updater for macOS, checks your GitHub releases for a binary asset and silently updates your app.