Update README.md
Browse files
README.md
CHANGED
|
@@ -49,10 +49,6 @@ Our approach introduces several innovations:
|
|
| 49 |
Each input data should be a JSONL line with two keys: `id` and `formal_statement`.
|
| 50 |
See `data/minif2f_test.jsonl` for examples.
|
| 51 |
|
| 52 |
-
### Start Leansearch-PS-inference server
|
| 53 |
-
See the detailed documentation in [LeanSearch-PS-inference/README.md](../LeanSearch-PS-inference/README.md).
|
| 54 |
-
|
| 55 |
-
|
| 56 |
### Running
|
| 57 |
|
| 58 |
|
|
|
|
| 49 |
Each input data should be a JSONL line with two keys: `id` and `formal_statement`.
|
| 50 |
See `data/minif2f_test.jsonl` for examples.
|
| 51 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 52 |
### Running
|
| 53 |
|
| 54 |
|