Search Results for author:
Found 9 papers, 1 papers with code
Interventional Probing in High Dimensions: An NLI Case Study
Probing strategies have been shown to detect the presence of various linguistic features in large language models; in particular, semantic features intermediate to the "natural logic" fragment of the Natural Language Inference task (NLI).
Natural Language Inference
Vocal Bursts Intensity Prediction
AIREPAIR: A Repair Platform for Neural Networks
We present AIREPAIR, a platform for repairing neural networks.
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction
Unfortunately, existing abstraction techniques are slack, which limits their applicability to small local regions of the input domain.
Montague semantics and modifier consistency measurement in neural language models
At the same time, the need for interpretability has elicited questions on their intrinsic properties and capabilities.
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Metamorphic testing has recently been used to check the safety of neural NLP models.
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach
Hence, privacy of both sellers and buyers is preserved.
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
QNNVerifier is the first open-source tool for verifying implementations of neural networks that takes into account the finite word-length (i. e. quantization) of their operands.
Verifying Quantized Neural Networks using SMT-Based Model Checking
Furthermore, for small- to medium-sized ANN, our approach completes most of its verification runs in minutes.
Incremental Verification of Fixed-Point Implementations of Neural Networks
We have implemented the proposed approach on top of the efficient SMT-based bounded model checker (ESBMC), and its experimental results show that it can successfully verify safety properties, in actual implementations of ANNs, and generate real adversarial cases in MLPs.
