Score of 0.794 Achieved on the Automated Reasoning Challenge #1 Post by alexwg » Tue, May 12, 2020, 8:32 PM UTC Score of 0.794 Achieved on the Automated Reasoning Challengekaggle.com