Starred repositories
A (WIP) equality saturation tactic for Lean based on egg.
A Python-embedded modeling language for convex optimization problems.
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)
A simple REPL for Lean 4, returning information about errors and sorries.
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
FSR 3.1 Upscaler integration for Unity built-in render pipeline, with support for DX11, Mac, Linux and consoles.
High-Resolution 3D Assets Generation with Large Scale Hunyuan3D Diffusion Models.
A .NET library that provides access to the library that powers PyTorch.
Awesome Game AI materials of Multi-Agent Reinforcement Learning
Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.
[ICML 2021] DouZero: Mastering DouDizhu with Self-Play Deep Reinforcement Learning | 斗地主AI
An implementation of the AlphaZero algorithm for Gomoku (also called Gobang or Five in a Row)
Full stack LLM (Pre-training/finetuning, PPO(RLHF), Inference, Quant, etc.)
[ECCV'24] GeoWizard: Unleashing the Diffusion Priors for 3D Geometry Estimation from a Single Image
[CVPR 2024 Oral] Rethinking Inductive Biases for Surface Normal Estimation
A modular high-level library to train embodied AI agents across a variety of tasks and environments.
High-resolution models for human tasks.
Utilized native-memory backed array for .NET and Unity - over the 2GB limitation and support the modern API(IBufferWriter, ReadOnlySequence, scatter/gather I/O, etc...).
This is the official repository for all the code of TheoremLlama
A simple language server from scratch to learn the LSP
