3 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.LG2022
Generalization Analysis on Learning with a Concurrent Verifier
Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
Machine learning technologies have been used in a wide range of practical systems. In practical situations, it is natural to expect the input-output pairs of a machine learning mod…
cs.GT2021★ 3 cited
Differentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games
Shinsaku Sakaue, Kengo Nakamura
We address Stackelberg models of combinatorial congestion games (CCGs); we aim to optimize the parameters of CCGs so that the selfish behavior of non-atomic players attains desirab…
cs.DS2020
Variable Shift SDD: A More Succinct Sentential Decision Diagram
Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino
The Sentential Decision Diagram (SDD) is a tractable representation of Boolean functions that subsumes the famous Ordered Binary Decision Diagram (OBDD) as a strict subset. SDDs ar…