P
PaperPicks
Conferences
Researchers
Sponsors ♥
Masaaki Nishino
5 papers at tracked venues · 4 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×3
ICML
×1
KR
×1
Frequent coauthors
Kengo Nakamura
×4
Norihito Yasuda
×4
Ryoma Onaka
×2
Akihiro Takemura
×1
Katsumi Inoue
×1
Papers
Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
BibTeX ⧉
KR 2026
·
Akihiro Takemura
,
Katsumi Inoue
,
Masaaki Nishino
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
BibTeX ⧉
AAAI 2026
·
Kengo Nakamura
,
Masaaki Nishino
,
Norihito Yasuda
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD
BibTeX ⧉
AAAI 2025
·
Ryoma Onaka
,
Kengo Nakamura
,
Masaaki Nishino
,
Norihito Yasuda
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
BibTeX ⧉
AAAI 2025
·
Ryoma Onaka
,
Kengo Nakamura
,
Masaaki Nishino
,
Norihito Yasuda
Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error
BibTeX ⧉
ICML 2024
·
Masaaki Nishino
,
Kengo Nakamura
,
Norihito Yasuda