yyyhz

Pinned Repositories

LGM
[ECCV 2024 Oral] LGM: Large Multi-View Gaussian Model for High-Resolution 3D Content Creation.
Language:Python1.8k 34 84128
GaussianEditor
[CVPR 2024] GaussianEditor: Swift and Controllable 3D Editing with Gaussian Splatting
Language:C++1.2k 26 7960
MUSTARD
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Language:C++39 3 61
InternLM-Math
State-of-the-art bilingual open-sourced Math reasoning LLMs.
Language:Python496 8 3029
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python628 14 7198
MAPO
The implement of ACL2024: "MAPO: Advancing Multilingual Reasoning through Multilingual Alignment-as-Preference Optimization"
Language:Python39 7 34
blender-exporter-colmap
Blender plugin which generates a dataset for colmap by exporting blender camera poses and rendering scene.
Language:Python37 2 42
miniF2F-lean4
miniF2F dataset ported into Lean 4
Language:Lean4 1 14
yyyhz
Config files for my GitHub profile.
00