Abstract: We present a multi-way parallel corpus of Math Word Problems (MWPs) in nine languages, including six low-resource languages. To date, this is the largest multilingual MWP dataset available.
Georgia, California, Tennessee, Utah and Oregon — have better aligned high school and college math courses in recent years, ...
A marriage of formal methods and LLMs seeks to harness the strengths of both.
AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.
Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results