Faengsrud founded House of Math in 2006, bootstrapping it from a one-woman tutoring service into a platform with over 2.6 million users.
A marriage of formal methods and LLMs seeks to harness the strengths of both.
Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results