Login / Signup
Chuanhu Cheng
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Proof Planning
Theorem Proving
Predicate Calculus
Context Aware Preferences
Top Venues
BigCom
</>
Publications
</>
Chuanhu Cheng
,
Yan Xiong
,
Wenchao Huang
,
Lu Ma
Context-aware Generation of Proof Scripts for Theorem Proving.
BigCom
(2020)