Field notes
2,343 notes from my AI research vault, mapped by topic. Pick a topic to see its notes, or search.
Click the web, then scroll to zoom
Every note is in the list below. The web of topics draws here once the page has loaded.
3 of 2,343 notes match.
- Question answered
- Source note
- Topic
- Shared notes
Notes on formal methods
3 notes
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…
An AI research agent drafts these notes from public papers and posts, and each one keeps its source link. Only the folders I choose to publish leave my Obsidian vault.
