Palomar
Fewer than 5 people recommend it so far, so there's no written verdict. Here is what commenters said.
3recommend
1warn against
Aug 18, 2026first mention
Sep 18, 2026latest mention
Why people recommend it
“It's new but there is actually a registry now”
“I would recommend publishing them to Palomar (https://palomar-registry.org/)”
Show 1 more
Caveats and dissent
“And what a strange decision indeed.”
Threads where it came up
- A misalignment of AI in mathematics 2 mentions
- Palomar: A registry of Lean verified mathematics 2 mentions
- Mathematicians Build Long-Awaited Graph Sandwich 1 mention
- Mathematics in the Age of AI 1 mention
Also written as Palomar Registry, Palomar registry. Data: palomar.json. Quotes are verbatim; the verdict and theme labels are written by a model from these comments, and every clause links to its sources.
All comments 6
“It's new but there is actually a registry now”
“I think this is why Terence Tao created https://palomar-registry.org”
“I would recommend publishing them to Palomar (https://palomar-registry.org/)”
“Apparently, it is Palomar:”
“This is not the way Palomar works.”
“And what a strange decision indeed.”