1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2025
Position: Untrained Machine Learning for Anomaly Detection by using 3D Point Cloud Data
Juan Du, Dongheng Chen
Anomaly detection based on 3D point cloud data is an important research problem and receives more and more attention recently. Untrained anomaly detection based on only one sample…
cs.LO2023★ 1 cited
Verified completeness in Henkin-style for intuitionistic propositional logic
Huayu Guo, Dongheng Chen, Bruno Bentzen
This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke mode…