alphaFeedback
PDF

WorksMathematics

Staggered extraction for exact matrix multiplication over every field

Publication details
License
LicenseRef-OpenAI-public
Views
1
Status
Published
AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
Formal proof, 6 proof or workflow links, 1 code link, 1 data link
View
Machine checks

No machine checks are available from the Hub API for this paper.