Cite
Notes
Only stored in your browser.
Attribution
Mathesis: Towards Formal Theorem Proving from Natural Languages
arXiv 2025
XRJL-HKUST at SemEval-2021 Task 4: WordNet-Enhanced Dual Multi-head Co-Attention for Reading Comprehension of Abstract Meaning
SEMEVAL 2021
from 2 papers
Austen Jeremy Sugiarto
Claudia Beth Ong
Dongcai Lu
Fangzhen Lin
Hao Wu
Haoxiong Liu
Huan Cao
Jiacheng Sun
Jianyuan Zhong
Jing Xiong