Events · 2026

First Proof: Third Batch Grading

Name: First Proof: Third Batch Grading
Start: 2026-10-08T00:00:00.000Z
End: 2026-10-09T00:00:00.000Z
Location: Institute for Computer-Aided Reasoning in Mathematics (ICARM), Carnegie Mellon University

Expert graders convene to AI-generated solutions to contemporary research problems.

Dates: October 8 – 9, 2026
Type: Meeting
Venue: Institute for Computer-Aided Reasoning in Mathematics (ICARM), Carnegie Mellon University
Location: Pittsburgh, PA

This meeting convenes graders participating in the First Proof project for assessment of the third batch solutions.