:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Song, Zhan, Liu, Yu-Tung, Chen, Chen, Sun, Guoheng, Yin, Jiaqi, Ho, Chia-tung, Li, Ang, Ren, Haoxing, Yu, Cunxi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Machine Learning
Online-Zugang:	https://arxiv.org/abs/2604.14237
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Autonomous Code Evolution Meets NP-Completeness
von: Yu, Cunxi, et al.
Veröffentlicht: (2025)

Large Language Model (LLM) for Standard Cell Layout Design Optimization
von: Ho, Chia-Tung, et al.
Veröffentlicht: (2024)

FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification
von: Wan, Lily Jiaxin, et al.
Veröffentlicht: (2026)

SchemaCoder: Automatic Log Schema Extraction Coder with Residual Q-Tree Boosting
von: Wan, Lily Jiaxin, et al.
Veröffentlicht: (2025)

Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC
von: Yu, Cunxi, et al.
Veröffentlicht: (2026)

Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graph
von: Nainani, Jatin, et al.
Veröffentlicht: (2025)

BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation
von: Li, Yingjie, et al.
Veröffentlicht: (2024)

BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
von: Yin, Jiaqi, et al.
Veröffentlicht: (2025)

LLM4Cov: Execution-Aware Agentic Learning for High-coverage Testbench Generation
von: Zhang, Hejia, et al.
Veröffentlicht: (2026)

Polymath: A Self-Optimizing Agent with Dynamic Hierarchical Workflow
von: Ho, Chia-Tung, et al.
Veröffentlicht: (2025)

Differentiable Initialization-Accelerated CPU-GPU Hybrid Combinatorial Scheduling
von: Liu, Mingju, et al.
Veröffentlicht: (2026)

VerilogCoder: Autonomous Verilog Coding Agents with Graph-based Planning and Abstract Syntax Tree (AST)-based Waveform Tracing Tool
von: Ho, Chia-Tung, et al.
Veröffentlicht: (2024)

Revisit Choice Network for Synthesis and Technology Mapping
von: Chen, Chen, et al.
Veröffentlicht: (2025)

DRC-Coder: Automated DRC Checker Code Generation Using LLM Autonomous Agent
von: Chang, Chen-Chia, et al.
Veröffentlicht: (2024)

Differentiable Combinatorial Scheduling at Scale
von: Liu, Mingju, et al.
Veröffentlicht: (2024)

e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
von: Yin, Jiaqi, et al.
Veröffentlicht: (2025)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
von: Yin, Jiaqi, et al.
Veröffentlicht: (2025)

GauS: Differentiable Scheduling Optimization via Gaussian Reparameterization
von: Cai, Yaohui, et al.
Veröffentlicht: (2026)

GRPO with State Mutations: Improving LLM-Based Hardware Test Plan Generation
von: Kochar, Dimple Vijay, et al.
Veröffentlicht: (2026)

Demystifying When Pruning Works via Representation Hierarchies
von: He, Shwai, et al.
Veröffentlicht: (2026)

Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification
von: Pinckney, Nathaniel, et al.
Veröffentlicht: (2025)

What Matters in Transformers? Not All Attention is Needed
von: He, Shwai, et al.
Veröffentlicht: (2024)

Learning Library Cell Representations in Vector Space
von: Liang, Rongjian, et al.
Veröffentlicht: (2025)

Towards Building Non-Fine-Tunable Foundation Models
von: Wang, Ziyao, et al.
Veröffentlicht: (2026)

FedMOA: Federated GRPO for Personalized Reasoning LLMs under Heterogeneous Rewards
von: Wang, Ziyao, et al.
Veröffentlicht: (2026)

ACE-RTL: When Agentic Context Evolution Meets RTL-Specialized LLMs
von: Deng, Chenhui, et al.
Veröffentlicht: (2026)

Predictive Auditing of Hidden Tokens in LLM APIs via Reasoning Length Estimation
von: Wang, Ziyao, et al.
Veröffentlicht: (2025)

CROP: Circuit Retrieval and Optimization with Parameter Guidance using LLMs
von: Pan, Jingyu, et al.
Veröffentlicht: (2025)

HeaRT: A Hierarchical Circuit Reasoning Tree-Based Agentic Framework for AMS Design Optimization
von: Poddar, Souradip, et al.
Veröffentlicht: (2025)

Optimizing Predictive AI in Physical Design Flows with Mini Pixel Batch Gradient Descent
von: Yang, Haoyu, et al.
Veröffentlicht: (2024)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
von: Chen, Chen, et al.
Veröffentlicht: (2025)

VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
von: Wang, Yiting, et al.
Veröffentlicht: (2025)

ILILT: Implicit Learning of Inverse Lithography Technologies
von: Yang, Haoyu, et al.
Veröffentlicht: (2024)

FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures
von: Bai, Yunsheng, et al.
Veröffentlicht: (2025)

Prada: Black-Box LLM Adaptation with Private Data on Resource-Constrained Devices
von: Wang, Ziyao, et al.
Veröffentlicht: (2025)

SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning
von: Wang, Yiting, et al.
Veröffentlicht: (2025)

Marco: Configurable Graph-Based Task Solving and Multi-AI Agents Framework for Hardware Design
von: Ho, Chia-Tung, et al.
Veröffentlicht: (2025)

Pushing the Limits of Inverse Lithography with Generative Reinforcement Learning
von: Yang, Haoyu, et al.
Veröffentlicht: (2026)

AI TrackMate: Finally, Someone Who Will Give Your Music More Than Just "Sounds Great!"
von: Jiang, Yi-Lin, et al.
Veröffentlicht: (2024)

Code Less, Align More: Efficient LLM Fine-tuning for Code Generation with Data Pruning
von: Tsai, Yun-Da, et al.
Veröffentlicht: (2024)