Papex

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

Team members 1