Score of 0.794 Achieved on the Automated Reasoning Challengekaggle.com3 points·alexwg··0 commentsOpen articleSaveView on HN