The proof, known to be so hard that a mathematician once offered 10 martinis to whoever could figure it out, uses number ...
Through a Summer Undergraduate Research Fellowship, Jenny Quan is exploring the mathematical principles behind Rubik's cubes.
Abstract: Designing algorithms to solve math word problems (MWPs) is an important research topic in natural language processing and smart education domains. The task of solving MWPs involves ...