4 ms·I remember seeing an NVIDIA LLM contest a year or two ago related to TLA+by tmaly 7mo agoI remember seeing an NVIDIA LLM contest a year or two ago related to TLA+