Hacker News new | ask | show | jobs
Towards Robust Mathematical Reasoning [pdf] (aclanthology.org)
1 points by asparagui 221 days ago