Update README.md
Browse files
README.md
CHANGED
|
@@ -122,7 +122,7 @@ We are also releasing 29,7K proofs of the problems in Lean-workbook found by our
|
|
| 122 |
## 4. Citation
|
| 123 |
```latex
|
| 124 |
@article{lin2024Goedelprover,
|
| 125 |
-
title={Goedel-Prover: A New Frontier in Automated Theorem Proving},
|
| 126 |
author={Yong Lin and Shange Tang and Bohan Lyu and Jiayun Wu and Hongzhou Lin and Kaiyu Yang and Jia Li and Mengzhou Xia and Danqi Chen and Sanjeev Arora and Chi Jin},
|
| 127 |
}
|
| 128 |
```
|
|
|
|
| 122 |
## 4. Citation
|
| 123 |
```latex
|
| 124 |
@article{lin2024Goedelprover,
|
| 125 |
+
title={Goedel-Prover: A New Frontier in Open-source Automated Theorem Proving},
|
| 126 |
author={Yong Lin and Shange Tang and Bohan Lyu and Jiayun Wu and Hongzhou Lin and Kaiyu Yang and Jia Li and Mengzhou Xia and Danqi Chen and Sanjeev Arora and Chi Jin},
|
| 127 |
}
|
| 128 |
```
|