Update README.md
Browse files
README.md
CHANGED
|
@@ -11,7 +11,7 @@ pinned: false
|
|
| 11 |
|
| 12 |
[Yifan Zhang](https://YFZ.ai) et al.
|
| 13 |
|
| 14 |
-
## Selected
|
| 15 |
|
| 16 |
1. Math Code: A Frontier Agentic Math Prover (https://github.com/math-ai-org/mathcode)
|
| 17 |
|
|
|
|
| 11 |
|
| 12 |
[Yifan Zhang](https://YFZ.ai) et al.
|
| 13 |
|
| 14 |
+
## Selected Works
|
| 15 |
|
| 16 |
1. Math Code: A Frontier Agentic Math Prover (https://github.com/math-ai-org/mathcode)
|
| 17 |
|