There is a general sense that programming is related to math and that people who are successful in math are often successful at programming. For math teachers, a natural question arises: “What is the ...

Imagine it’s a student’s first day of ninth grade in the San Francisco Unified School District in 2012. Let’s call her Veronica. On her schedule is a math class full of other ninth graders repeating ...

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

Last year, I started writing about my experiences taking courses on machine learning and artificial intelligence. One of the big, unexpected problems I ran into was calculus and linear algebra. I've ...