6 citations · 14 across the 11 of their papers we have counts for
12 papers
Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
Akihiro Takemura, Katsumi Inoue, Masaaki Nishino
Neurosymbolic systems can satisfy logical constraints during learning without achieving the intended concept-label correspondence; this is a problem known as reasoning shortcuts. W…
Optimal Construction of N-bit-delay Almost Instantaneous Fixed-to-Variable-Length Codes
Ryosuke Sugiura, Masaaki Nishino, Norihito Yasuda +2
This paper presents an optimal construction of -bit-delay almost instantaneous fixed-to-variable-length (AIFV) codes, the general form of binary codes we can make when finite bi…
International Competition on Graph Counting Algorithms 2023
Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima +3
This paper reports on the details of the International Competition on Graph Counting Algorithms (ICGCA) held in 2023. The graph counting problem is to count the subgraphs satisfyin…
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…
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama +7
A rep-tile is a polygon that can be dissected into smaller copies (of the same size) of the original polygon. A polyomino is a polygon that is formed by joining one or more unit sq…
Differentiable Inductive Logic Programming for Structured Examples
Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto
The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable frame…
Bilingual Text Extraction as Reading Comprehension
Katsuki Chousa, Masaaki Nagata, Masaaki Nishino
In this paper, we propose a method to extract bilingual texts automatically from noisy parallel corpora by framing the problem as a token-level span prediction, such as SQuAD-style…
A Supervised Word Alignment Method based on Cross-Language Span Prediction using Multilingual BERT
Masaaki Nagata, Chousa Katsuki, Masaaki Nishino
We present a novel supervised word alignment method based on cross-language span prediction. We first formalize a word alignment problem as a collection of independent predictions…
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…
Recovery command generation towards automatic recovery in ICT systems by Seq2Seq learning
Hiroki Ikeuchi, Akio Watanabe, Tsutomu Hirao +4
With the increase in scale and complexity of ICT systems, their operation increasingly requires automatic recovery from failures. Although it has become possible to automatically d…
Metric Learning for Ordered Labeled Trees with pq-grams
Hikaru Shindo, Masaaki Nishino, Yasuaki Kobayashi +1
Computing the similarity between two data points plays a vital role in many machine learning algorithms. Metric learning has the aim of learning a good metric automatically from da…
Enumeration of Extractive Oracle Summaries
Tsutomu Hirao, Masaaki Nishino, Jun Suzuki +1
To analyze the limitations and the future directions of the extractive summarization paradigm, this paper proposes an Integer Linear Programming (ILP) formulation to obtain extract…