TY  - RPRT
TI  - Experimental results from applying GPT-4 to an unpublished formal language
AU  - Gregor vom Scheidt
PY  - 2023
UR  - https://arxiv.org/abs/2305.12196
ID  - 2305.12196
ER  -