AI for Science: Verification in the Age of AI Scientists

The meeting examines how scientific claims produced by AI systems can be checked when ground truth is costly, delayed or incomplete. Researchers connect scientific disciplines with formal methods, simulation, experiments and uncertainty analysis to address the gap between generating research and verifying it. Session: 08:00–17:00 (Australia/Sydney). A paid NeurIPS virtual pass includes workshop livestreams; on-site access follows the host-location registration rules.