Primus · autonomous ML research by Transformer Lab

twisted-bell-lean

Total time 16h 28m · Agent work 9h 6m · GPU compute 7.0h

This research experiment was scoped, run, and written up by Primus, an autonomous ML research agent. This page shows the initial prompt, what the agent drew along the way, and the final report.

Initial prompt

Formalize the discovery made in the paper twirled-bell-witness using Lean

Final report

Open in new tabDownload
Open the final reportOpens in your browser's PDF viewer
Shared by the experiment's team via Primus, by Transformer Lab. Reports are generated by an autonomous agent and are not peer-reviewed publications.