Author:Lu Ma

Publications
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