:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Miao, Mingkai, Hu, Guangyu, Yang, Ziyi, Zhang, Hongce
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2604.03232
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
di: Zhou, Xiaofeng, et al.
Pubblicazione: (2026)

LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
di: Miao, Mingkai, et al.
Pubblicazione: (2026)

EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning
di: Hu, Guangyu, et al.
Pubblicazione: (2026)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
di: Su, Yuheng, et al.
Pubblicazione: (2025)

BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning
di: Miao, Mingkai, et al.
Pubblicazione: (2025)

GenIC: An LLM-Based Framework for Instance Completion in Knowledge Graphs
di: Gader, Amel, et al.
Pubblicazione: (2025)

Self-Attention to Operator Learning-based 3D-IC Thermal Simulation
di: Huang, Zhen, et al.
Pubblicazione: (2025)

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

AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking
di: Hu, Guangyu, et al.
Pubblicazione: (2026)

SecIC3: Customizing IC3 for Hardware Security Verification
di: Tan, Qinhan, et al.
Pubblicazione: (2026)

GraphIC: A Graph-Based In-Context Example Retrieval Model for Multi-Step Reasoning
di: Fu, Jiale, et al.
Pubblicazione: (2024)

IC-Effect: Precise and Efficient Video Effects Editing via In-Context Learning
di: Li, Yuanhang, et al.
Pubblicazione: (2025)

The rIC3 Hardware Model Checker
di: Su, Yuheng, et al.
Pubblicazione: (2025)

Open3DBench: Open-Source Benchmark for 3D-IC Backend Implementation and PPA Evaluation
di: Shi, Yunqi, et al.
Pubblicazione: (2025)

TurboEvolve: Towards Fast and Robust LLM-Driven Program Evolution
di: Yang, Yang, et al.
Pubblicazione: (2026)

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
di: Gestrin, Elliot, et al.
Pubblicazione: (2026)

IC-EO: Interpretable Code-based assistant for Earth Observation
di: Lahouel, Lamia, et al.
Pubblicazione: (2026)

IC3M: In-Car Multimodal Multi-object Monitoring for Abnormal Status of Both Driver and Passengers
di: Fang, Zihan, et al.
Pubblicazione: (2024)

DeCo: Defect-Aware Modeling with Contrasting Matching for Optimizing Task Assignment in Online IC Testing
di: Ting, Lo Pang-Yun, et al.
Pubblicazione: (2025)

Accelerating IC Thermal Simulation Data Generation via Block Krylov and Operator Action
di: Wang, Hong, et al.
Pubblicazione: (2025)

DeepRWCap: Neural-Guided Random-Walk Capacitance Solver for IC Design
di: Rodriguez, Hector R., et al.
Pubblicazione: (2025)

Game-Theoretic Co-Evolution for LLM-Based Heuristic Discovery
di: Ke, Xinyi, et al.
Pubblicazione: (2026)

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping
di: Fu, Rongliang, et al.
Pubblicazione: (2026)

DSevolve: Enabling Real-Time Adaptive Scheduling on Dynamic Shop Floor with LLM-Evolved Heuristic Portfolios
di: Huang, Jin, et al.
Pubblicazione: (2026)

RankEvolve: Automating the Discovery of Retrieval Algorithms via LLM-Driven Evolution
di: Nian, Jinming, et al.
Pubblicazione: (2026)

QuIC: Quantum-Inspired Compound Adapters for Parameter Efficient Fine-Tuning
di: Raj, Snehal, et al.
Pubblicazione: (2025)

DeepOHeat-v1: Efficient Operator Learning for Fast and Trustworthy Thermal Simulation and Optimization in 3D-IC Design
di: Yu, Xinling, et al.
Pubblicazione: (2025)

EvolveR: Self-Evolving LLM Agents through an Experience-Driven Lifecycle
di: Wu, Rong, et al.
Pubblicazione: (2025)

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

EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic Design
di: Liu, Fei, et al.
Pubblicazione: (2025)

Multi-objective Evolution of Heuristic Using Large Language Model
di: Yao, Shunyu, et al.
Pubblicazione: (2024)

PyVRP$^+$: LLM-Driven Metacognitive Heuristic Evolution for Hybrid Genetic Search in Vehicle Routing Problems
di: Malik, Manuj, et al.
Pubblicazione: (2026)

SemantIC: Semantic Interference Cancellation Towards 6G Wireless Communications
di: Lin, Wensheng, et al.
Pubblicazione: (2023)

Preserve Support, Not Correspondence: Dynamic Routing for Offline Reinforcement Learning
di: Mu, Zhancun, et al.
Pubblicazione: (2026)

TIDE: Tuning-Integrated Dynamic Evolution for LLM-Based Automated Heuristic Design
di: Chen, Chentong, et al.
Pubblicazione: (2026)

VRPAgent: LLM-Driven Discovery of Heuristic Operators for Vehicle Routing Problems
di: Hottung, André, et al.
Pubblicazione: (2025)

LLM-Driven Policy Diffusion: Enhancing Generalization in Offline Reinforcement Learning
di: Zhang, Hanping, et al.
Pubblicazione: (2025)

MobEvolve: An Agentic Self-Evolving Heuristic System for Interpretable Human Mobility Generation
di: He, Junlin, et al.
Pubblicazione: (2026)

Boosting Universal LLM Reward Design through Heuristic Reward Observation Space Evolution
di: Heng, Zen Kit, et al.
Pubblicazione: (2025)

MeLA: A Metacognitive LLM-Driven Architecture for Automatic Heuristic Design
di: Qiu, Zishang, et al.
Pubblicazione: (2025)