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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results