3 ms·Experimental results from applying GPT-4 to an unpublished formal language2 points by famouswaffles 3y ago