AI-Assisted, Not AI-Decided
AI adapts to editors' workflows and preferences, helping them screen manuscripts, summarize findings, and make informed decisions while keeping editors in control.
ProReview combines Lean-based mathematical formalization with expert editorial insights to support AI-assisted editorial decisions backed by verifiable evidence. Editors make faster, better-informed decisions through targeted screening and customizable workflows, while referees benefit from advanced mathematical verification tools.
01 · For Department editors and Associate editors
AI adapts to editors' workflows and preferences, helping them screen manuscripts, summarize findings, and make informed decisions while keeping editors in control.
AI-assisted evaluation of each manuscript's positioning, novelty, contributions, technical merit, and correctness.
Compatible with existing peer-review platforms and customizable to editors' screening and report-drafting preferences.
An interactive platform for engaging with AI, editors, and referees in discussions ranging from broad questions about a manuscript to detailed technical contributions.
02 · For referees
Understand the paper's theoretical structure through Lean-backed formalization.
Store and download generated Lean code for independent verification and documentation.
Prioritize technical issues based on their significance and severity.
Independently verify, revise, and refine debatable nodes within the system.
With AI assistance, the Department editor reads each new submission against their own screening questions and can follow up on any answer.
The editor understands each paper quickly and thoroughly, then decides with the evidence in front of them: send it to peer review, or desk-reject it.
For · Department editorsOnce the Department editor sends a paper to peer review, it goes to an Associate editor and referees. ProReview then formalizes the paper's mathematics in Lean for a deeper analysis, testing whether its technical arguments hold and backing each finding with evidence.
Associate editors and referees start from a detailed, well-informed analysis of the paper, work that would otherwise take days to verify by hand.
For · Associate editors and refereesProReview makes complex research easier to read, interpret and discuss. Each point in the analysis can be traced to its evidence and taken up in an interactive discussion.
Through screening, formalization, discussion and each round of revision, editors, referees and authors work from the same evidence. That common ground closes gaps in technical understanding and moves scientific communication forward.
For · All editors and refereesEach statement points to the part of the paper or the published work it rests on, so editors can check it.
Editors review, edit and submit every decision themselves.
Through LeanNexus, these models restate the paper's results in Lean, a proof language a computer can check, and report what holds, what fails and where.
Start with one journal. We set up ProReview for your editors and run it on the submissions you choose.