🧊
Focusing
Have Fun 🇨🇭
- Zürich, Switzerland
- https://yiruyang2025.github.io/
- https://mathoverflow.net/users/590583/yiru-yang
Pinned Loading
-
deepmind-research
deepmind-research PublicForked from google-deepmind/deepmind-research
This repository contains implementations and illustrative code to accompany DeepMind publications
Jupyter Notebook
-
-
MATH-Vision
MATH-Vision PublicForked from mathllm/MATH-V
[NeurIPS 2024] MATH-Vision dataset and code to measure multimodal mathematical reasoning capabilities.
Python 1
-
-
Alphaproof-Nexus-Results
Alphaproof-Nexus-Results PublicForked from google-deepmind/alphaproof-nexus-results
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
Lean
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



