Towards Robust Mathematical Reasoning [pdf] | Hacker News Reader