AI & ML interests

AI-assisted research, research provenance, formal verification (Lean), open problems in mathematics

Recent Activity

Papexorg  updated a dataset 2 days ago
papexlabs/r7-tournament-ramsey
Papexorg  published a dataset 2 days ago
papexlabs/r7-tournament-ramsey
Papexorg  updated a dataset 2 days ago
papexlabs/kobon-triangles
View all activity

Organization Card

Papex

The record layer for AI-era science.

Papex connects hypotheses, findings and publications to the people, tools and versions behind them. It works inside the AI tool a researcher already uses: the tool drafts the record, and the researcher reviews and signs the exact version, decides when to share it, and gets a citable address on papex.org.

A Papex record shows who declared what, and when. It is not peer review, and it does not show that a result is correct.

On Hugging Face

  • AI-assisted claims on open problems: results on well-known open problems that their sources present as made with AI, as the sources state them, with the revisions and withdrawals that followed.

papex.org · Open problems · support@papex.org

models 0

None public yet