5 citations · 6 across the 5 of their papers we have counts for
6 papers
Stabilizer entropy cones as self-dual slices of linear rank cones: a five-party gap and dependence on the local dimension
Xidan Song, Ruifeng Cao
Entanglement entropies of multipartite pure states satisfy linear inequalities; for stabilizer states, the backbone of quantum error correction, the achievable entropy vectors gene…
QNNRepair: Quantized Neural Network Repair
Xidan Song, Youcheng Sun, Mustafa A. Mustafa +1
We present QNNRepair, the first method in the literature for repairing quantized neural networks (QNNs). QNNRepair aims to improve the accuracy of a neural network model after quan…
AIREPAIR: A Repair Platform for Neural Networks
Xidan Song, Youcheng Sun, Mustafa A. Mustafa +1
We present AIREPAIR, a platform for repairing neural networks. It features the integration of existing network repair tools. Based on AIREPAIR, one can run different repair methods…
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
João Batista P. Matos, Iury Bessa, Edoardo Manino +2
Neural networks are essential components of learning-based software systems. However, their high compute, memory, and power requirements make using them in low resources domains ch…
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Xidan Song, Edoardo Manino, Luiz Sena +5
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. The…
Verifying Quantized Neural Networks using SMT-Based Model Checking
Luiz Sena, Xidan Song, Erickson Alves +4
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns ab…