Sasha Boguraev
@SashaBoguraev
PhD student @UT_Linguistics | prev. CS, Math, Comp. Cognitive Sci @cornell
I’m at NeurIPS all week! On 12/14 I’ll present on viewing math as a communicative activity at the MathAI workshop. Meanwhile, I’d love to chat about this work or more broadly about communicative framing in NLP, including emergent communication, language games and more. Reach out!
There's cool work in math ed about how kids and pros alike have expectations about what goes left vs right of =, how proofs are ordered, etc. Why? Because math is often communication, by humans to humans. Below: thoughts and short experiments re what this might mean for AI math!
🎩“The math of the people, by the people, for the people, shall not perish from our models” AI math systems often abstract away from language by augmenting LLMs with symbolic solvers and logical systems. While promising, is something lost? 🧵
🧮A=B and B=A are different, even in maths! Humans write math with communicative intent, which LLMs should and do learn! They agree with mathematicians' preferred ordering of equations and even recover it from math word problems. Great work by @SashaBoguraev, go follow him!
🎩“The math of the people, by the people, for the people, shall not perish from our models” AI math systems often abstract away from language by augmenting LLMs with symbolic solvers and logical systems. While promising, is something lost? 🧵
Fun paper led by @SashaBoguraev From young students to seasoned mathematicians, humans have preferences about the communicative aspects of math from the sequencing of proof steps to variable naming and notation Turns out so do LMs, and we say this is a good thing 1/4
🎩“The math of the people, by the people, for the people, shall not perish from our models” AI math systems often abstract away from language by augmenting LLMs with symbolic solvers and logical systems. While promising, is something lost? 🧵