no code implementations • 18 Aug 2022 • Xia Zeng, Arkaitz Zubiaga
To mitigate the impact of the scarcity of labelled data on fact-checking systems, we focus on few-shot claim verification.
no code implementations • 11 May 2022 • Xia Zeng, Arkaitz Zubiaga
In this paper, we introduce SEED, a novel vector-based method to few-shot claim veracity classification that aggregates pairwise semantic differences for claim-evidence pairs.
no code implementations • 23 Sep 2021 • Xia Zeng, Amani S. Abumansour, Arkaitz Zubiaga
As online false information continues to grow, automated fact-checking has gained an increasing amount of attention in recent years.
1 code implementation • 18 Sep 2020 • Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties.