DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update README.md

Browse source
This commit is contained in:
jstoobysmith 2024-10-16 11:16:12 +00:00
parent 246cefa1a5
commit 23cbad4fe8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -38,7 +38,7 @@ into Lean 4.
### Papers referencing HepLean
- Hu, Jiewen, Thomas Zhu, and Sean Welleck. "miniCTX: Neural Theorem Proving with (Long-) Contexts." arXiv preprint [arXiv:2408.03350](https://www.arxiv.org/abs/2408.03350) (2024). [Project page]( https://cmu-l3.github.io/minictx/)
How HepLean was used: *Theorems from the space-time files of HepLean were included in a data set used to evaluate models' ability to prove theorems from real-world repositories, which requires working with definitions, theorems, and other context not seen in training.*
How HepLean was used: *Theorems from the space-time files of HepLean were included in a data set used to a evaluate models' ability to prove theorems from real-world repositories, which requires working with definitions, theorems, and other context not seen in training.*
## Contributing