Experimental results from applying GPT-4 to an unpublished formal language

Open in new window