Upload
Sign in to upload the statement of an open problem or a paper of yours that has an open problem. New accounts need admin approval before upload access is granted. Files are stored on the upload backend; they are not published to the public problem pages until reviewed.
Account
Pending accounts
Approve or reject new signup requests. Approved users can sign in and upload.
No pending accounts.
Upload PDF
Drop a PDF here, or click to browse
PDF only · max size enforced by the server when connected
Uploaded papers
Source PDFs you submit. Extract runs problem extraction only; Run pipeline also does lit review and one-pass solve (costs money).
No uploaded papers yet.
Run outputs
PDFs produced by extraction (and later pipeline stages). Separate from your uploaded sources.
No run outputs yet.