A marriage of formal methods and LLMs seeks to harness the strengths of both.

HOUSTON (KTRK) -- A mental math system developed in the 1800's is helping some local students ace standardized tests and win math competitions. But the method isn't taught in most Houston schools.

Students in some local elementary schools are learning a completely different way of doing multiplication. It’s a technique that many parents can’t understand. It’s called lattice multiplication. The ...

Explicit learning goals Interactive lectures Transformed homework problems (including a "bank" of potential HW problems) Common student difficulties & in-class group activities/tutorials Concept tests ...

A TikTok video of a novel, ancient multiplication method has gone viral. While the user, jesslouisec, calls the method Japanese multiplication and some mathematicians say it’s “Vedic multiplying,” its ...