JLJessy Li@jessyjliTECH
Missing #ICML2026 too😅but check out 🚨PLSemanticsBench!
Give an LLM the full formal semantics for a brand-new programming language and it looks like a genius interpreter. It excels at tracking state, handling nested loops, and predicting exact outputs with up to 90% accuracy. But is it really reasoning through the rules? 🧵