Cover Image

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Chen, Kaufmann, Daniela, Deng, Chenhui, Song, Zhan, Zhang, Hongce, Yu, Cunxi
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
by: Dai, Steve, et al.
Published: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
by: Yang, Ziyi, et al.
Published: (2025)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
by: Kumar, Aman
Published: (2024)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
by: Kaufmann, Daniela, et al.
Published: (2024)

Autonomous Code Evolution Meets NP-Completeness
by: Yu, Cunxi, et al.
Published: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
by: Kawamoto, Yusuke, et al.
Published: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
by: Yubeaton, Patrick, et al.
Published: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
by: Bayless, Sam, et al.
Published: (2025)

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

Formally Certified Approximate Model Counting
by: Tan, Yong Kiam, et al.
Published: (2024)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

Formally Verified Approximate Policy Iteration
by: Schäffeler, Maximilian, et al.
Published: (2024)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
by: Contreras, Ricardo, et al.
Published: (2025)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
by: Metere, Alfredo
Published: (2026)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
by: Afzal, Mohammad, et al.
Published: (2025)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
by: Li, Sirui, et al.
Published: (2025)

Learning Formal Mathematics From Intrinsic Motivation
by: Poesia, Gabriel, et al.
Published: (2024)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
by: Klopfenstein, Rocky, et al.
Published: (2025)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Laurel: Unblocking Automated Verification with Large Language Models
by: Mugnier, Eric, et al.
Published: (2024)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
by: Sebastiani, Roberto
Published: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
by: Finkbeiner, Bernd, et al.
Published: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
by: Olson, Taylor
Published: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
by: Ospanov, Azim, et al.
Published: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
by: Neider, Daniel, et al.
Published: (2025)

Neural Network Verification using Partial Multi-Neuron Relaxation
by: Shmuel, Ido, et al.
Published: (2026)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)