conftrace_

formal verification

284 papers

Explore in graph

Also known as

FV

Co-occurring keywords

neural network verification (106) adversarial robustness (1341) model checking (105) neural network (6616) temporal logic (105) theorem proving (63) large language model (13587) linear temporal logic (82) multi-agent system (1819) automated reasoning (122)

Papers

A Topological Rewriting of Tarski’s Mereogeometry AAAI 2026
Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification ACL 2026
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint) AAAI 2026
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems AAAI 2026
Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models ACL 2026
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean ACL 2026
VeriFlow: Modeling Distributions for Neural Network Verification AAAI 2026
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks AAAI 2026
OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification AAAI 2026
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables AAAI 2026
Universal Safety Controllers with Learned Prophecies AAAI 2026
OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic Workflows ACL 2026
Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models ACL 2026
Improving Autoformalization Using Direct Dependency Retrieval ACL 2026
NP-Hard Lower Bound Complexity for Semantic Self-Verification EACL 2026
Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries EACL 2026
Parameterized Abstract Interpretation for Transformer Verification AAAI 2026
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees AAAI 2026
Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles AAAI 2026
Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures AAAI 2026
Composable Assurance for AI Alignment: A Framework for Propagating Formal Safety Properties Through MLOps AAAI 2026
Towards a Common Framework for Autoformalization AAAI 2026
Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026
Automata-less Monitoring via Trace-Checking AAAI 2026
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis ACL 2026