MATATA: A weakly-supervised MAthematical Tool-Assisted reasoning for Tabular Applications

Open in new window