I remember seeing an NVIDIA LLM contest a year or two ago related to TLA+