🏠
Working from home
🚀 Kodai Motonishi (@motonishikoudai)
Undergraduate Student & AI Researcher | Building the future of Symbolic Reasoning
学業(Student Life)と極限の開発(Hardcore Dev)
Popular repositories Loading
-
verantyx-v6
verantyx-v6 PublicARC-AGI2 solver — 84.0% on training (840/1000). Hybrid: 30+ hand-crafted solvers + Claude Sonnet 4.5 program synthesis with deterministic verification. No fine-tuning, no GPU.
HTML 8
-
-
-
dendritic-memory-editor
dendritic-memory-editor Public樹木型空間記憶(Dendritic Memory Space)を編集するためのWebサイト
TypeScript
-
-
verantyx
verantyx PublicVerantyx v6 - Bias-free symbolic reasoning engine for HLE benchmark (CEGIS + SymPy + Z3)
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.