Eight new records for the bipartite degree-diameter problem and a new +2 theorem, found by evolutionary search with Claude Haiku 5.5 and checked in Lean
Lean Updated 19 days ago 1 commits
omega-coder|Mirror: dogaozden/degree-diameter (⭐0)
19 days agoAbout
Eight new records for the bipartite degree-diameter problem and a new +2 theorem, found by evolutionary search with Claude Haiku 5.5 and checked in Lean
Readme