Guangshuai Mo, Yan Xiong, Wenchao Huang, Lu Ma. Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies. In 6th International Conference on Big Data Computing and Communications, BIGCOM 2020, Deqing, China, July 24-25, 2020. pages 71-75, IEEE, 2020. [doi]
Abstract is missing.