Towards Robust Mathematical Reasoning [pdf] · HackerTrans