Search Results for author:
Found 6 papers, 2 papers with code
Learning Safe Neural Network Controllers with Barrier Certificates
We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties.
QMUL-SDS at SCIVER: Step-by-Step Binary Classification for Scientific Claim Verification
As a result, our team is the No.
Automated Fact-Checking: A Survey
As online false information continues to grow, automated fact-checking has gained an increasing amount of attention in recent years.
Aggregating Pairwise Semantic Differences for Few-Shot Claim Veracity Classification
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.
Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training
To mitigate the impact of the scarcity of labelled data on fact-checking systems, we focus on few-shot claim verification.
MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification
Claim verification is an essential step in the automated fact-checking pipeline which assesses the veracity of a claim against a piece of evidence.
