Equational theories cheatsheet
An 8.71 KB Birkhoff-sound prompt for SAIR's equational-theories competition (Tao + Davis). A 31B model running this prompt beat a 120B one on the hardest set.
An 8.71 KB Birkhoff-sound prompt for SAIR's equational-theories competition (Tao + Davis). A 31B model running this prompt beat a 120B one on the hardest set.