Nakamura, Kengo

7 publications

AAAI 2025 An And-Sum Circuit with Signed Edges That Is More Succinct than SDD Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
AAAI 2025 Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
ICML 2024 Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
NeurIPS 2022 Generalization Analysis on Learning with a Concurrent Verifier Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
IJCAI 2021 Compressing Exact Cover Problems with Zero-Suppressed Binary Decision Diagrams Masaaki Nishino, Norihito Yasuda, Kengo Nakamura
NeurIPS 2021 Differentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games Shinsaku Sakaue, Kengo Nakamura
AAAI 2020 Practical Frank-Wolfe Method with Decision Diagrams for Computing Wardrop Equilibrium of Combinatorial Congestion Games Kengo Nakamura, Shinsaku Sakaue, Norihito Yasuda