Imagen de Portada

Agentic AI-based Coverage Closure for Formal Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pothireddypalli, Sivaram, Raman, Ashish, Gadde, Deepak Narayan, Kumar, Aman
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Generative AI Augmented Induction-based Formal Verification
por: Kumar, Aman, et al.
Publicado: (2024)

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
por: Kumar, Aman, et al.
Publicado: (2026)

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
por: Viswambharan, Vaisakh Naduvodi, et al.
Publicado: (2026)

Saarthi: The First AI Formal Verification Engineer
por: Kumar, Aman, et al.
Publicado: (2025)

Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
por: Kumari, Suruchi, et al.
Publicado: (2025)

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)

Effective Design Verification -- Constrained Random with Python and Cocotb
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)

Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
por: Gadde, Deepak Narayan, et al.
Publicado: (2025)

FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)

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

Analogous Alignments: Digital "Formally" meets Analog
por: Mohanty, Hansa, et al.
Publicado: (2024)

Efficient Stimuli Generation using Reinforcement Learning in Design Verification
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
por: Kumar, Aman, et al.
Publicado: (2024)

Towards Efficient Design Verification -- Constrained Random Verification using PyUVM
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)

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

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
por: Kumar, Aman, et al.
Publicado: (2024)

Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods
por: Kumar, Aman, et al.
Publicado: (2024)

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?
por: Olmos, Bryan, et al.
Publicado: (2024)

No More Blind Spots: Learning Vision-Based Omnidirectional Bipedal Locomotion for Challenging Terrain
por: Gadde, Mohitvishnu S., et al.
Publicado: (2025)

GDPR Auto-Formalization with AI Agents and Human Verification
por: Nguyen, Ha Thanh, et al.
Publicado: (2026)

Securing Agentic AI: A Comprehensive Threat Model and Mitigation Framework for Generative AI Agents
por: Narajala, Vineeth Sai, et al.
Publicado: (2025)

Tool Attention Is All You Need: Dynamic Tool Gating and Lazy Schema Loading for Eliminating the MCP/Tools Tax in Scalable Agentic Workflows
por: Sadani, Anuj, et al.
Publicado: (2026)

Agent-E: From Autonomous Web Navigation to Foundational Design Principles in Agentic Systems
por: Abuelsaad, Tamer, et al.
Publicado: (2024)

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
por: Acharya, Nirajan, et al.
Publicado: (2026)

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
por: Tihanyi, Norbert, et al.
Publicado: (2023)

Governing Technical Debt in Agentic AI Systems
por: Hydari, Muhammad Zia, et al.
Publicado: (2026)

SWE-PRBench: Benchmarking AI Code Review Quality Against Pull Request Feedback
por: Kumar, Deepak
Publicado: (2026)

From Workflow Automation to Capability Closure: A Formal Framework for Safe and Revenue-Aware Customer Service AI
por: Spera, Cosimo
Publicado: (2026)

Energy per Successful Goal: Goal-Level Energy Accounting for Agentic AI Systems
por: Panigrahy, Deepak, et al.
Publicado: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
por: Charalambous, Yiannis, et al.
Publicado: (2024)

Formal Foundations of Agentic Business Process Management
por: De Giacomo, Giuseppe, et al.
Publicado: (2026)

GraphFlow: An Architecture for Formally Verifiable Visual Workflows Enabling Reliable Agentic AI Automation
por: Morris V, Drewry H., et al.
Publicado: (2026)

Formalizing the Safety, Security, and Functional Properties of Agentic AI Systems
por: Allegrini, Edoardo, et al.
Publicado: (2025)

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification
por: Gadde, Deepak Narayan, et al.
Publicado: (2024)

Automated Conjecture Resolution with Formal Verification
por: Ju, Haocheng, et al.
Publicado: (2026)

When Visibility Outpaces Verification: Delayed Verification and Narrative Lock-in in Agentic AI Discourse
por: Shi, Hanjing, et al.
Publicado: (2026)

Fairness in Agentic AI: A Unified Framework for Ethical and Equitable Multi-Agent System
por: Ranjan, Rajesh, et al.
Publicado: (2025)

MAPLE: A Sub-Agent Architecture for Memory, Learning, and Personalization in Agentic AI Systems
por: Piskala, Deepak Babu
Publicado: (2026)

Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
por: Mukherjee, Arpan, et al.
Publicado: (2025)

Propose, Solve, Verify: Self-Play Through Formal Verification
por: Wilf, Alex, et al.
Publicado: (2025)