Author

KokunoYumeto

0 works0 citations

Recent research

AI & ComputingOpen access
The Mathematics Commons: a Leiden-led peer-to-peer review pilot
The Mathematics Commons is a public discussion draft for a decentralized, AI-integrated mathematics workflow. Its immediate proof of concept is a small GitHub-native pilot for bounded literature review, exact statement work, proof and counterexample search, computation, expositio...
Zenodo (CERN European Organization for Nuclear Research)2026-08-070 citationsDOI
AI & ComputingOpen access
The Mathematics Commons: a Leiden-led peer-to-peer review pilot
The Mathematics Commons is a public discussion draft for a decentralized, AI-integrated mathematics workflow. Its immediate proof of concept is a small GitHub-native pilot for bounded literature review, exact statement work, proof and counterexample search, computation, expositio...
Zenodo (CERN European Organization for Nuclear Research)2026-08-070 citationsDOI