formal verification

SMiLE: Provably Enforcing Global Relational Properties in Neural Networks AAAI 2026 Timelock Drive: Isolated Time-Based Defense for Storage Systems OSDI 2026 Towards a Common Framework for Autoformalization AAAI 2026 Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification ACL 2026 Universal Safety Controllers with Learned Prophecies AAAI 2026 VeriFlow: Modeling Distributions for Neural Network Verification AAAI 2026 YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language Models SemEval 2026 A Logical Analysis of Hanabi AAAI 2025 A Modal Logic of Optimality (Student Abstract) AAAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025 Automated Proof Generation for Rust Code via Self-Evolution ICLR 2025 Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions IJCAI 2025 Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements AAAI 2025 Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4 EMNLP 2025 First-Order Automata AAAI 2025 FormalAlign: Automated Alignment Evaluation for Autoformalization ICLR 2025 Formally Verified Approximate Policy Iteration AAAI 2025 Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025 Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025 From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training ICLR 2025 Herald: A Natural Language Annotated Lean 4 Dataset ICLR 2025