✅ Formal Verification - rakeshchow202 · Scour

Benchmarking Testing in Automated Theorem Proving 🛠️Compilers

CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction 🛠️Compilers

Test-Time Safety Alignment 🛠️Compilers

Towards System-Oriented Formal Verification of Local-First Access Control 🛠️Compilers

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 🔧FPGA

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting 🔧FPGA

Templates in Rewriting Induction 🛠️Compilers

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing 🛠️Software Craft

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 🛠️Compilers

Full Definability in a Profunctorial Model 🛠️Compilers

On first-order model checking parameterized by the number of variables 🛠️Compilers

Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short 🖥️Retro Computing

Using Large Language Models for Black-Box Testing of FMU-Based Simulations 🛠️Software Craft

Counterexample-Guided Interval Weakening 🛠️Compilers

Rethinking Wireless Communications through Formal Mathematical AI Reasoning 🧠Edge AI

Logic of Fuzzy Paths 🔧FPGA

Reelay: Online Temporal Logic Monitoring Framework 🧠Edge AI

BenchGuard: Who Guards the Benchmarks? Automated Auditing of LLM Agent Benchmarks 🛠️Compilers

Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon 🛠️Compilers

arxiv.org·4d·Hacker News

One Word at a Time: Incremental Completion Decomposition Breaks LLM Safety 🛠️Compilers

Sign up or log in to see more results

Log in to enable infinite scrolling