Public-polish pass on the research notes (de-personalize) - #31

Public-polish pass on the research notes (de-personalize)#31

jesusvilela merged 1 commit into

mainjesusvilela/lambda-sat-solver:mainfrom

claude/2026-sota-benchmark-xyp1zhjesusvilela/lambda-sat-solver:claude/2026-sota-benchmark-xyp1zhCopy head branch name to clipboard