Immunoglobulin G4–related disease (IgG4-RD) is a systemic immune-mediated
fibroinflammatory disease. Since its discovery nearly two decades ago, our understanding of its …

Deep neural networks have emerged as a widely used and effective means for tackling
complex, real-world problems. However, a major obstacle in applying them to safety-critical …

Deep neural networks are revolutionizing the way complex systems are designed. Consequently,
there is a pressing need for tools and techniques for network analysis and certification. …

Autonomous vehicles are highly complex systems, required to function reliably in a wide variety
of situations. Manually crafting software controllers for these vehicles is difficult, but there …

Deep neural networks are increasingly being used as controllers for safety-critical systems.
Because neural networks are opaque, certifying their correctness is a significant challenge. …

IgG4-related disease is an immune-mediated disease that can lead to substantial morbidity
and organ damage. Capable of affecting nearly any organ system or anatomic site, and …

The ability to deploy neural networks in real-world, safety-critical systems is severely limited
by the presence of adversarial examples: slightly perturbed inputs that are misclassified by …

Deep neural networks have achieved impressive results in many complex applications,
including classification tasks for image and speech recognition, pattern analysis or perception in …

Catecholaminergic polymorphic ventricular tachycardia (CPVT) is a primary electrical
myocardial disease characterized by exercise- and stress-related ventricular tachycardia …

This paper describes SMTCoq, a plug-in for the integration of external solvers into the Coq
proof assistant. Based on a checker for generic first-order proof certificates fully implemented …