Copertina

BetterV: Controlled Verilog Generation with Discriminative Guidance

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pei, Zehua, Zhen, Hui-Ling, Yuan, Mingxuan, Huang, Yu, Yu, Bei
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation
di: Pei, Zehua, et al.
Pubblicazione: (2026)

DiLA: Enhancing LLM Tool Learning with Differential Logic Layer
di: Zhang, Yu, et al.
Pubblicazione: (2024)

From Pruning to Grafting: Dynamic Knowledge Redistribution via Learnable Layer Fusion
di: Pei, Zehua, et al.
Pubblicazione: (2024)

Behavioral Fingerprinting of Large Language Models
di: Pei, Zehua, et al.
Pubblicazione: (2025)

EvolVE: Evolutionary Search for LLM-based Verilog Generation and Optimization
di: Hsin, Wei-Po, et al.
Pubblicazione: (2026)

Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
di: Blocklove, Jason, et al.
Pubblicazione: (2024)

ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning
di: Chen, Zhirong, et al.
Pubblicazione: (2025)

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
di: Nadimi, Bardia, et al.
Pubblicazione: (2025)

SCOPE: Prompt Evolution for Enhancing Agent Effectiveness
di: Pei, Zehua, et al.
Pubblicazione: (2025)

VeriGRAG: Enhancing LLM-Based Verilog Code Generation with Structure-Aware Soft Prompts
di: Zhao, Jiayu, et al.
Pubblicazione: (2025)

CoopetitiveV: Leveraging LLM-powered Coopetitive Multi-Agent Prompting for High-quality Verilog Generation
di: Mi, Zhendong, et al.
Pubblicazione: (2024)

MOSS: Efficient and Accurate FP8 LLM Training with Microscaling and Automatic Scaling
di: Zhang, Yu, et al.
Pubblicazione: (2025)

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

A Multi-Expert Large Language Model Architecture for Verilog Code Generation
di: Nadimi, Bardia, et al.
Pubblicazione: (2024)

VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
di: Wang, Yiting, et al.
Pubblicazione: (2025)

Analytical FFN-to-MoE Restructuring via Activation Pattern Analysis
di: Pei, Zehua, et al.
Pubblicazione: (2025)

hdl2v: A Code Translation Dataset for Enhanced LLM Verilog Generation
di: Hong, Charles, et al.
Pubblicazione: (2025)

VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
di: Nadimi, Bardia, et al.
Pubblicazione: (2025)

FocuSFT: Bilevel Optimization for Dilution-Aware Long-Context Fine-Tuning
di: Pei, Zehua, et al.
Pubblicazione: (2026)

PyraNet: A Multi-Layered Hierarchical Dataset for Verilog
di: Nadimi, Bardia, et al.
Pubblicazione: (2024)

Chain of Execution Supervision Promotes General Reasoning in Large Language Models
di: Chen, Nuo, et al.
Pubblicazione: (2025)

What Matters For Safety Alignment?
di: Li, Xing, et al.
Pubblicazione: (2026)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
di: Zhang, Yansen, et al.
Pubblicazione: (2025)

CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization
di: Zhao, Yang, et al.
Pubblicazione: (2024)

SwiftMem: Fast Agentic Memory via Query-aware Indexing
di: Tian, Anxin, et al.
Pubblicazione: (2026)

SVDq: 1.25-bit and 410x Key Cache Compression for LLM Attention
di: Yankun, Hong, et al.
Pubblicazione: (2025)

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
di: Bembenek, Aaron
Pubblicazione: (2025)

Beyond Speedup -- Utilizing KV Cache for Sampling and Reasoning
di: Xing, Zeyu, et al.
Pubblicazione: (2026)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
di: Councilman, Aaron, et al.
Pubblicazione: (2025)

MemDLM: Memory-Enhanced DLM Training
di: Pei, Zehua, et al.
Pubblicazione: (2026)

Synthesis by Design: Controlled Data Generation via Structural Guidance
di: Xu, Lei, et al.
Pubblicazione: (2025)

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
di: Zeng, Lingfei, et al.
Pubblicazione: (2025)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
di: Zhang, Dylan, et al.
Pubblicazione: (2024)

LoRE-Merging: Exploring Low-Rank Estimation For Large Language Model Merging
di: Liu, Zehua, et al.
Pubblicazione: (2025)

Scaling Up, Speeding Up: A Benchmark of Speculative Decoding for Efficient LLM Test-Time Scaling
di: Sun, Shengyin, et al.
Pubblicazione: (2025)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
di: Liu, Ruibang, et al.
Pubblicazione: (2024)

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
di: Lin, Zhenru, et al.
Pubblicazione: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
di: Zheng, Lianmin, et al.
Pubblicazione: (2023)

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

Controllable and Reliable Knowledge-Intensive Task-Oriented Conversational Agents with Declarative Genie Worksheets
di: Joshi, Harshit, et al.
Pubblicazione: (2024)