I came across some slides by Blum from 1997 or 1995 when I was an undergrad, and they used Comic Sans (a variant I think, not the original). This also uses the same. Pretty impressive stuff.
@tticconnect.bsky.social1/6 LLMs with CoT reasoning are powerful, but can be incorrect, even unsafe. “You might like to train...a verifier to interface with these generators to make them more reliable, safe, aligned with your values, and so on," said Avrim Blum, President of TTIC www.youtube.com/watch?v=qyzu...
youtube.com
"Learning Verifiers for Chain-of-Thought Reasoning" – Avrim Blum, Research at TTIC
YouTube video by TTIC