Gelin Zhang

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 3

Top Topics

Logical Reasoning

Tree Construction

Neural Network Ensemble

Top Venues

Publications

Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. 53 (11) (2023)
Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR (2021)
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang
Tree Ensemble Property Verification from A Testing Perspective. SEKE (2021)
Huifeng Wei, Gelin Zhang, Peiguang Yan, Jiang Li, Xinben Zhang, Weijun Tong, Jie Luo, Jinyan Li, Kangkang Chen
A seven-core photonic crystal fiber with high beam quality. OFC/NFOEC (2013)