In the late 1960s and early 1970s, the American cartoonist Crockett Johnson created a series of paintings on mathematical subjects. They’re based on theorems, laws, and mathematical figures, but ...
This repo contains the resources for the paper "From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning." In this work, we take mathematical reasoning as a ...
This project depends upon CMake to generate build files, which are used to automate the installation of a distributable Maya module. Source code is organised into project directories, where each ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback