Buchumschlag

Are LLMs Ready for Practical Adoption for Assertion Generation?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pulavarthi, Vaishnavi, Nandal, Deeksha, Dan, Soham, Pal, Debjit
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
von: Pulavarthi, Vaishnavi, et al.
Veröffentlicht: (2024)

LAUDE: LLM-Assisted Unit Test Generation and Debugging of Hardware DEsigns
von: Nandal, Deeksha, et al.
Veröffentlicht: (2026)

On the Calibration of Multilingual Question Answering LLMs
von: Yang, Yahan, et al.
Veröffentlicht: (2023)

VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs
von: Stracquadanio, Giuseppe, et al.
Veröffentlicht: (2024)

Automated Hardware Trojan Insertion in Industrial-Scale Designs
von: Popryho, Yaroslav, et al.
Veröffentlicht: (2025)

Generalized complex Stein manifold
von: Pal, Debjit
Veröffentlicht: (2024)

ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
von: Mali, Bhabesh, et al.
Veröffentlicht: (2024)

CPP-UT-Bench: Can LLMs Write Complex Unit Tests in C++?
von: Bhargava, Vaishnavi, et al.
Veröffentlicht: (2024)

BikeVAE-GNN: A Variational Autoencoder-Augmented Hybrid Graph Neural Network for Sparse Bicycle Volume Estimation
von: Gupta, Mohit, et al.
Veröffentlicht: (2025)

Compositional Program Generation for Few-Shot Systematic Generalization
von: Klinger, Tim, et al.
Veröffentlicht: (2023)

Financial Decision Making using Reinforcement Learning with Dirichlet Priors and Quantum-Inspired Genetic Optimization
von: Nandy, Prasun, et al.
Veröffentlicht: (2025)

Efficient and Provable Algorithms for Covariate Shift
von: Adil, Deeksha, et al.
Veröffentlicht: (2025)

Bayesian uncertainty-aware deep learning with noisy labels: Tackling annotation ambiguity in EEG seizure detection
von: Shama, Deeksha M., et al.
Veröffentlicht: (2024)

Evaluating the effects of Data Sparsity on the Link-level Bicycling Volume Estimation: A Graph Convolutional Neural Network Approach
von: Gupta, Mohit, et al.
Veröffentlicht: (2024)

Personalizing Large Language Models using Retrieval Augmented Generation and Knowledge Graph
von: Prahlad, Deeksha, et al.
Veröffentlicht: (2025)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
von: Ghazal, Zaid, et al.
Veröffentlicht: (2026)

QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
von: Wu, Yutong, et al.
Veröffentlicht: (2026)

A Logical Fallacy-Informed Framework for Argument Generation
von: Mouchel, Luca, et al.
Veröffentlicht: (2024)

Multilingual Needle in a Haystack: Investigating Long-Context Behavior of Multilingual Large Language Models
von: Hengle, Amey, et al.
Veröffentlicht: (2024)

Pan-Cancer Mapping of the Tumor Immune Landscape through Metagene Clustering and Predictive Modeling
von: Chatterjee, Soham
Veröffentlicht: (2026)

The Illusion of Stochasticity in LLMs
von: Gu, Xiangming, et al.
Veröffentlicht: (2026)

On the generalization capacity of neural networks during generic multimodal reasoning
von: Ito, Takuya, et al.
Veröffentlicht: (2024)

SWE-Tester: Training Open-Source LLMs for Issue Reproduction in Real-World Repositories
von: Soni, Aditya Bharat, et al.
Veröffentlicht: (2026)

Are LLMs Ready for Real-World Materials Discovery?
von: Miret, Santiago, et al.
Veröffentlicht: (2024)

Optimal Scaling Laws for Efficiency Gains in a Theoretical Transformer-Augmented Sectional MoE Framework
von: Sane, Soham
Veröffentlicht: (2025)

Hybrid Group Relative Policy Optimization: A Multi-Sample Approach to Enhancing Policy Optimization
von: Sane, Soham
Veröffentlicht: (2025)

SVAgent: AI Agent for Hardware Security Verification Assertion
von: Guo, Rui, et al.
Veröffentlicht: (2025)

A Boothby-Wang construction in generalized contact geometry
von: Pal, Debjit
Veröffentlicht: (2026)

Are LLMs Ready for Conflict Monitoring? Empirical Evidence from West Africa
von: Muki, Hoffmann, et al.
Veröffentlicht: (2026)

Handling Extreme Class Imbalance: Using GANs in Data Augmentation for Suicide Prediction
von: Visweswaraiah, Vaishnavi, et al.
Veröffentlicht: (2025)

VaCDA: Variational Contrastive Alignment-based Scalable Human Activity Recognition
von: Khisa, Soham, et al.
Veröffentlicht: (2025)

Data Alignment for Zero-Shot Concept Generation in Dermatology AI
von: Gadgil, Soham, et al.
Veröffentlicht: (2024)

Assumptions to Evidence: Evaluating Security Practices Adoption and Their Impact on Outcomes in the npm Ecosystem
von: Zahan, Nusrat, et al.
Veröffentlicht: (2025)

Estimate Level Adjustment For Inference With Proxies Under Random Distribution Shifts
von: Wilkins-Reeves, Steven, et al.
Veröffentlicht: (2026)

AssertBench: A Benchmark for Evaluating Self-Assertion in Large Language Models
von: Lee, Jaeho, et al.
Veröffentlicht: (2025)

Generalized complex structure on certain principal torus bundles
von: Pal, Debjit, et al.
Veröffentlicht: (2023)

INSPIRE-GNN: Intelligent Sensor Placement to Improve Sparse Bicycling Network Prediction via Reinforcement Learning Boosted Graph Neural Networks
von: Gupta, Mohit, et al.
Veröffentlicht: (2025)

Are Small Language Models Ready to Compete with Large Language Models for Practical Applications?
von: Sinha, Neelabh, et al.
Veröffentlicht: (2024)

AlphaGrad: Non-Linear Gradient Normalization Optimizer
von: Sane, Soham
Veröffentlicht: (2025)

AM-PPO: (Advantage) Alpha-Modulation with Proximal Policy Optimization
von: Sane, Soham
Veröffentlicht: (2025)