alphaFeedback
PDF

WorksMathematics

Linear Variance of the Random 3-SAT Hitting Time

Publication details
License
LicenseRef-OpenAI-public
Views
13
Status
Published
AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
3 proof or workflow links
View
Machine checks

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