PPaperPicks

Kengo Nakamura

4 papers at tracked venues · 4 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
    AAAI 2026 · Kengo Nakamura
  2. An And-Sum Circuit with Signed Edges That Is More Succinct than SDD
  3. Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
  4. Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error