TY  - RPRT
TI  - Experience and Prediction: A Metric of Hardness for a Novel Litmus Test
AU  - Nicos Isaak
AU  - Loizos Michael
PY  - 2023
DO  - 10.1093/logcom/exab005
UR  - https://arxiv.org/abs/2309.02534
ID  - 2309.02534
ER  -