Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
arXiv:2603.20405v1 Announce Type: new Abstract: We report on an experiment in which Claude Opus~4.6, equipped with a suite of Model Context Protocol (MCP) tools for …
Guillaume Baudart, Marc Lelarge, Tristan St\'erin, Jules Viennot
14 views
