yuedajiong's starred repositories
Awesome-LLM-3D
Awesome-LLM-3D: a curated list of Multi-modal Large Language Model in 3D world Resources
lean-riemann-hypothesis
Riemann Hypothesis in Lean
pythagoras4
Many proofs of the Pythagoras theorem - Lean 4
Awesome-LLM-3D: a curated list of Multi-modal Large Language Model in 3D world Resources
Riemann Hypothesis in Lean
Many proofs of the Pythagoras theorem - Lean 4