Cover Image

Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Luo, Zizhang, Xu, Yansong, Guo, Runlin, Cui, Fan, Zhou, Kexing, Xia, Mile, Hou, Hongyuan, Luo, Yuhao, Liang, Yun
Format:	Preprint
Published:	2026
Subjects:	Hardware Architecture Artificial Intelligence I.2.2; B.5.2; D.2.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

R3A: Reliable RTL Repair Framework with Multi-Agent Fault Localization and Stochastic Tree-of-Thoughts Patch Generation
by: Luo, Zizhang, et al.
Published: (2025)

Pipeline Automation Framework for Reusable High-throughput Network Applications on FPGA
by: Bruant, Jean, et al.
Published: (2026)

A Multi-Agent Generative AI Framework for IC Module-Level Verification Automation
by: Liu, Wenbo, et al.
Published: (2025)

VeriGraphi: A Multi-Agent Framework of Hierarchical RTL Generation for Large Hardware Designs
by: Islam, Sazzadul, et al.
Published: (2026)

Design and Implementation of a RISC-V SoC with Custom DSP Accelerators for Edge Computing
by: Yadav, Priyanshu
Published: (2025)

MaskClip: Detachable Clip-on Piezoelectric Sensing of Mask Surface Vibrations for Real-time Noise-Robust Speech Input
by: Hiraki, Hirotaka, et al.
Published: (2025)

FPGA-Accelerated RISC-V ISA Extensions for Efficient Neural Network Inference on Edge Devices
by: Parameshwara, Arya, et al.
Published: (2025)

Anvil: A General-Purpose Timing-Safe Hardware Description Language
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

Physical oceanography during Moana Wave cruise HOT-5 on section PRS2
by: Lukas, Roger, et al.
Published: (1999)

TuRTLe: A Unified Evaluation of LLMs for RTL Generation
by: Garcia-Gasulla, Dario, et al.
Published: (2025)

NotSoTiny: A Large, Living Benchmark for RTL Code Generation
by: Ghorab, Razine Moundir, et al.
Published: (2025)

Adversarially Probing Cross-Family Sound Symbolism in 27 Languages
by: Sharma, Anika, et al.
Published: (2025)

What is "Spatial" about Spatial Computing?
by: Wang, Yibo, et al.
Published: (2025)

PI2: End-to-end Interactive Visualization Interface Generation from Queries
by: Chen, Yiru, et al.
Published: (2021)

GestoBrush: Facilitating Graffiti Artists' Digital Creation Experiences through Embodied AR Interactions
by: Chen, Ruiqi, et al.
Published: (2025)

Synthesis-in-the-Loop Evaluation of LLMs for RTL Generation: Quality, Reliability, and Failure Modes
by: Fu, Weimin, et al.
Published: (2026)

GraspR: A Computational Model of Spatial User Preferences for Adaptive Grasp UI Design
by: Caetano, Arthur, et al.
Published: (2025)

Adaptive Riemannian Graph Neural Networks
by: Wang, Xudong, et al.
Published: (2025)

Learnable Kernel Density Estimation for Graphs and Its Application to Graph-Level Anomaly Detection
by: Wang, Xudong, et al.
Published: (2025)

From Framework to Reliable Practice: End-User Perspectives on Social Robots in Public Spaces
by: Oruma, Samson, et al.
Published: (2025)

Diffusion-SAFE: Diffusion-Native Human-to-Robot Driving Handover for Shared Autonomy
by: Fan, Yunxin, et al.
Published: (2025)

M2HRI: An LLM-Driven Multimodal Multi-Agent Framework for Personalized Human-Robot Interaction
by: Hasan, Shaid, et al.
Published: (2026)

AiGet: Transforming Everyday Moments into Hidden Knowledge Discovery with AI Assistance on Smart Glasses
by: Cai, Runze, et al.
Published: (2025)

ChipCraftBrain: Validation-First RTL Generation via Multi-Agent Orchestration
by: Eryilmaz, Cagri
Published: (2026)

AI Integrity: A New Paradigm for Verifiable AI Governance
by: Lee, Seulki
Published: (2026)

GenPara: Enhancing the 3D Design Editing Process by Inferring Users' Regions of Interest with Text-Conditional Shape Parameters
by: Choi, Jiin, et al.
Published: (2025)

FlyMeThrough: Human-AI Collaborative 3D Indoor Mapping with Commodity Drones
by: Su, Xia, et al.
Published: (2025)

AgentSM: Semantic Memory for Agentic Text-to-SQL
by: Biswal, Asim, et al.
Published: (2026)

Plug In and Learn: Federated Intelligence over a Smart Grid of Models
by: Abdurakhmanova, S., et al.
Published: (2023)

TaskAudit: Detecting Functiona11ity Errors in Mobile Apps via Agentic Task Execution
by: Zhong, Mingyuan, et al.
Published: (2025)

Symbolically Scaffolded Play: Designing Role-Sensitive Prompts for Generative NPC Dialogue
by: Figueiredo, Vanessa, et al.
Published: (2025)

VisualNeo: Bridging the Gap between Visual Query Interfaces and Graph Query Engines
by: Huang, Kai, et al.
Published: (2026)

GazePrompt: Enhancing Low Vision People's Reading Experience with Gaze-Aware Augmentations
by: Wang, Ru, et al.
Published: (2024)

Vision-Guided Iterative Refinement for Frontend Code Generation
by: Sansford, Hannah, et al.
Published: (2026)

Improving Omics-Based Classification: The Role of Feature Selection and Synthetic Data Generation
by: Perazzolo, Diego, et al.
Published: (2025)

ScaleMAP: Preserving Local Density and Neighborhood Structure in Low-Dimensional Embeddings
by: Poorna, Rajas, et al.
Published: (2026)

FUSE: Fast Semi-Supervised Node Embedding Learning via Structural and Label-Aware Optimization
by: Chakraborty, Sujan, et al.
Published: (2025)

From Linear to Spline-Based Classification:Developing and Enhancing SMPA for Noisy Non-Linear Datasets
by: Srivastava, Vatsal
Published: (2025)

A Robust and Efficient Boundary Point Detection Method by Measuring Local Direction Dispersion
by: Peng, Dehua, et al.
Published: (2023)

PhiPlot: A Web-Based Interactive EDA Environment for Atmospherically Relevant Molecules
by: Loukojärvi, Matias, et al.
Published: (2026)