Hacker News new | ask | show | jobs
Score of 0.794 Achieved on the Automated Reasoning Challenge (kaggle.com)
3 points by alexwg 2226 days ago