Palomar

Submit a Lean-verified result

Before submitting, check that:

See the full submission requirements.

Already have a submission in progress?

What becomes public

The submitted repository, commit, and Comparator configuration path are permanently recorded in public, as is any approval evidence you write. The automated review and its findings become public only after you have seen them, and decided to complete the registration. The privacy policy says what else is kept, for how long, and how to ask about it.

A public GitHub repository. Type owner/ to choose from its repositories, or paste a URL.

A full 40-character SHA. Branches and tags move; a record must not.

Choose a detected Comparator configuration or enter its repository-relative path. Palomar checks the selected file at this commit.

File layout

Palomar looks for the project at the repository root. If it is somewhere else, these are filled in for you once the commit is checked.

The directory holding the Lakefile and selected Comparator configuration.

Registration target

Enter an existing Palomar ID manually

Leave this blank when retrying an unsuccessful submission. Enter an ID only to register a new version of a result already in the Palomar Registry.

Your relationship to this formalization

If this repository is only a thin wrapper around another formalization, answer about that underlying repository, not the wrapper.

Stored in the private submission record and given to the AI checks that validate formalization.yaml and the correspondence between the informal and formal statements. Never sent to the public verification workflow, but Palomar operators, GitHub, and the model provider read it, and the review it informs becomes public if you register. Do not include anything sensitive.

You may be asked to sign in, so Palomar can confirm you have write access to the repository you are submitting. Even if you are already signed in, GitHub may ask you to authorize Palomar on your first submission. The GitHub access token is used once and not stored. Palomar remembers the verified account in this browser for twelve hours so it can find submissions in progress automatically.

Finish the sign-in within fifteen minutes. After that Palomar discards what you typed here and the submission has to be started again.