Pinned Loading

1. CHYYYYYYYY/SolidGeoSolver CHYYYYYYYY/SolidGeoSolver Public

   A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 2026 paper Hilbert-Geo: Solving Solid Geometric Problems by Ne…

   Python 41 2

2. Machine-Learning-Lecture Machine-Learning-Lecture Public

   This is a chinese teaching about easy Machine Learning&Deep Learning.It includes mainstream teaching methods(Lec) and easy introductory projects.We want to individual who likes AI can get a easy st…

   Jupyter Notebook 1

3. ErdosProblems-1030-RamseyNumber ErdosProblems-1030-RamseyNumber Public

   This is a weak formal attempt to prove that the limit is greater than 1

   Lean

4. S-Adam S-Adam Public

   [ICML2026] “Singularity-aware Optimization via Randomized Geometric Probing: Towards Stable Non-smooth Optimization”, Solve non-smooth optimization through geometric-aware optimizer

   Python

5. Wave Wave Public

   Wave Function Unified Multimodal Framework

   Python

6. MathRA MathRA Public

   This open project aims to facilitate both formal and informal verification of papers and vibe researching.

   Rust