Kengo Nakamura
9 papers · 2019–2026 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (24) 🌍 Conference Polyglot · Silver
🏆
Keyword Champion
(3)
❓
The Questioner
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Mathematics & Optimization
(6)
Machine Learning
(5)
Optimization
(5)
Artificial Intelligence
(4)
Optimization & Theory
(4)
Core AI
(3)
Core Methods
(3)
Mathematics
(3)
Computer Science
(2)
Knowledge & Reasoning
(2)
Foundations
(2)
Learning Types
(2)
Representation
(2)
Natural Language Processing
(1)
Applications
(1)
Keywords
knowledge compilation
(3)
boolean function
(2)
combinatorial congestion game
(2)
equilibrium computation
(2)
multi-class classification
(2)
decision diagram
(2)
generalization error
(1)
dynamic programming
(1)
probabilistic inference
(1)
generalization analysis
(1)
combinatorial algorithm
(1)
tensor decomposition
(1)
bayesian network
(1)
rademacher complexity
(1)
stackelberg game
(1)
differentiable optimization
(1)
network routing
(1)
frank-wolfe method
(1)
frank-wolfe algorithm
(1)
unsupervised parsing
(1)
Papers
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
AAAI 2026
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD
AAAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
AAAI 2025
Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error
ICML 2024
Generalization Analysis on Learning with a Concurrent Verifier
NeurIPS 2022
Compressing Exact Cover Problems with Zero-suppressed Binary Decision Diagrams
IJCAI 2021
Differentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games
NeurIPS 2021
Practical Frank–Wolfe Method with Decision Diagrams for Computing Wardrop Equilibrium of Combinatorial Congestion Games
AAAI 2020
Split or Merge: Which is Better for Unsupervised RST Parsing?
EMNLP 2019