3 citations · 5 across the 7 of their papers we have counts for
7 papers
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer +1
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of…
Exploring the Optimization Objective of One-Class Classification for Anomaly Detection
Han Gao, Huiyuan Luo, Fei Shen +1
One-class classification (OCC) is a longstanding method for anomaly detection. With the powerful representation capability of the pre-trained backbone, OCC methods have witnessed s…
A Causal Framework to Unify Common Domain Generalization Approaches
Nevin L. Zhang, Kaican Li, Han Gao +5
Domain generalization (DG) is about learning models that generalize well to new domains that are related to, but different from, the training domain(s). It is a fundamental problem…
Mitigating Backdoor Attack Via Prerequisite Transformation
Han Gao
In recent years, with the successful application of DNN in fields such as NLP and CV, its security has also received widespread attention. (Author) proposed the method of backdoor…
Explicit Feature Interaction-aware Uplift Network for Online Marketing
Dugang Liu, Xing Tang, Han Gao +2
As a key component in online marketing, uplift modeling aims to accurately capture the degree to which different treatments motivate different users, such as coupons or discounts,…
Towards Total Online Unsupervised Anomaly Detection and Localization in Industrial Vision
Han Gao, Huiyuan Luo, Fei Shen +1
Although existing image anomaly detection methods yield impressive results, they are mostly an offline learning paradigm that requires excessive data pre-collection, limiting their…