Research
Papers
Publications linked to models, labs and benchmarks. Authors, venues and abstracts come from arXiv and publisher pages.
1 total
| Title | Authors | Published | Categories | Organization / venue | Quality |
|---|---|---|---|---|---|
| A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCsarXiv:2609.10579 | Shenghao Yang, Yanyan Dong | 12 Sept 2026 | math.HO | — | 89 |
1 results
Author lists and categories are copied from the paper's own metadata (arXiv, publisher). Each paper page shows the abstract, related models and every source snapshot.