FIELD NOTES TOPIC
formal methods
3 notes, newest first.
NNV3: Expanding Neural Network Verification to New Architectures and Domains
The preprint presents NNV3, a MATLAB framework for formal verification of neural networks. It describes ModelStar for weight perturbation, VolumeStar for video and 3D inputs, GraphStar for graph neural networks…
Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities
Researchers present Bulkhead, an automated framework that uses large language models and formal methods to detect and fix container escape vulnerabilities called path traversal (PaTra) vulnerabilities. These…
Evidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel Proofs
The paper introduces EG-VAR, a tool-calling architecture that aims to make the reasoning of a large language model (LLM) more trustworthy by verifying all outputs through tool-attestation axioms and kernel checks. The…
