Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results