Update README.md
Browse files
README.md
CHANGED
|
@@ -20,7 +20,6 @@ Under review, NeurIPS (Datasets and Benchmarks Track), 2023
|
|
| 20 |
booktitle={Neural Information Processing Systems (NeurIPS)},
|
| 21 |
year={2023}
|
| 22 |
}
|
| 23 |
-
}
|
| 24 |
```
|
| 25 |
|
| 26 |
Please visit [LeanDojo Website](https://leandojo.org/) for details.
|
|
|
|
| 20 |
booktitle={Neural Information Processing Systems (NeurIPS)},
|
| 21 |
year={2023}
|
| 22 |
}
|
|
|
|
| 23 |
```
|
| 24 |
|
| 25 |
Please visit [LeanDojo Website](https://leandojo.org/) for details.
|