Login / Signup
Qike Huang
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Post Processing
Theorem Prover
Prime Implicants
Automated Reasoning
Top Venues
CoRR
ICAIIS
</>
Publications
</>
Xiaokai Zhang
,
Na Zhu
,
Yiming He
,
Jia Zou
,
Qike Huang
,
Xiaoxiao Jin
,
Yanjun Guo
,
Chenyang Mao
,
Zhe Zhu
,
Dengfeng Yue
,
Fangzhen Zhu
,
Yang Li
,
Yifan Wang
,
Yiwen Huang
,
Runan Wang
,
Cheng Qin
,
Zhenbing Zeng
,
Shaorong Xie
,
Xiangfeng Luo
,
Tuo Leng
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.
CoRR
(2023)
Guangming Li
,
Congrui Zuo
,
Qike Huang
,
Yu Li
Improved design of front intake system of three-way catalytic converter.
ICAIIS
(2021)