LA of ProoFVer-K and -NoS using predictions from KEPLER. Training data size used for KEPLER and its classifier accuracy is also provided.
| KEPLER . | ProoFVer . | ||
|---|---|---|---|
| Training Data Size . | Classifier Accuracy . | -K-NoS (LA) . | -K (LA) . |
| 1,800 | 69.07 | 64.65 | 66.73 |
| 6,000 | 74.02 | 68.86 | 72.41 |
| 18,000 | 79.67 | 74.25 | 76.23 |
| 30,000 | 80.61 | 75.39 | 77.76 |
| 45,000 | 82.76 | 77.62 | 78.84 |
| 60,000 | 84.85 | 78.61 | 79.67 |
| KEPLER . | ProoFVer . | ||
|---|---|---|---|
| Training Data Size . | Classifier Accuracy . | -K-NoS (LA) . | -K (LA) . |
| 1,800 | 69.07 | 64.65 | 66.73 |
| 6,000 | 74.02 | 68.86 | 72.41 |
| 18,000 | 79.67 | 74.25 | 76.23 |
| 30,000 | 80.61 | 75.39 | 77.76 |
| 45,000 | 82.76 | 77.62 | 78.84 |
| 60,000 | 84.85 | 78.61 | 79.67 |