Author:Yan Xiong

Publications
Context-aware Generation of Proof Scripts for Theorem Proving Cheng Chuanhu, Yan Xiong, Wenchao Huang and Ma Lu EasyChair Preprint 3341
Joint Self-Attention and Multi-Embeddings for Chinese Named Entity Recognition Cijian Song, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint 3340
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies Guangshuai Mo, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint 3334
SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis Zihan Zhou, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint 3332

Keyphrases

BiGRU-CRF, Chinese NER, context-aware, Ethereum, interactive theorem proving, machine learning, Multi-Embeddings, proof assistants, proof automation, Proof script generation, self-attention, smart contracts, Solidity, static analysis, theorem proving.