20 citations · 22 across the 2 of their papers we have counts for
2 papers
cs.SE2019★ 20 cited
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa +1
As one type of machine-learning model, a "decision-tree ensemble model" (DTEM) is represented by a set of decision trees. A DTEM is mainly known to be valid for structured data; ho…
cs.SE2018★ 2 cited
DeepSaucer: Unified Environment for Verifying Deep Neural Networks
Naoto Sato, Hironobu Kuruma, Masanori Kaneko +4
In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of…