Experimental results from applying GPT-4 to an unpublished formal language. - Gregor vom Scheidt (CoRR, 2023)