Update README.md
Browse files
README.md
CHANGED
|
@@ -2,6 +2,12 @@
|
|
| 2 |
license: mit
|
| 3 |
---
|
| 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 5 |
## start the web server
|
| 6 |
|
| 7 |
python -m uvicorn sft_fastapi:app --host 0.0.0.0 --port 8000
|
|
|
|
| 2 |
license: mit
|
| 3 |
---
|
| 4 |
|
| 5 |
+
# PVSGym: A Proof Learning Environment
|
| 6 |
+
|
| 7 |
+
Paper link: https://openreview.net/forum?id=NpytqGYVPa¬eId=NpytqGYVPa
|
| 8 |
+
|
| 9 |
+
This repo contains models and web server that predicts next commands for given PVS sequent and command history.
|
| 10 |
+
|
| 11 |
## start the web server
|
| 12 |
|
| 13 |
python -m uvicorn sft_fastapi:app --host 0.0.0.0 --port 8000
|