Education
SOKENDAIThe Graduate University for Advanced Studies |
Research: Differentiable SAT/MaxSAT with Graph Neural Networks; building neuro‑symbolic frameworks with integrated solvers. |
|
Research: Graph Neural Networks for MaxSAT solvers; MaxSAT for Autonomous Driving. |
Science TokyoInstitute of Science Tokyo / Tokyo Institute of Technology |
TUSTokyo University of Science |
Research: Multi-source Transfer Learning for CNNs. |
