Copertina

Are LLMs Ready for Practical Adoption for Assertion Generation?

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pulavarthi, Vaishnavi, Nandal, Deeksha, Dan, Soham, Pal, Debjit
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
di: Pulavarthi, Vaishnavi, et al.
Pubblicazione: (2024)

LAUDE: LLM-Assisted Unit Test Generation and Debugging of Hardware DEsigns
di: Nandal, Deeksha, et al.
Pubblicazione: (2026)

On the Calibration of Multilingual Question Answering LLMs
di: Yang, Yahan, et al.
Pubblicazione: (2023)

VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs
di: Stracquadanio, Giuseppe, et al.
Pubblicazione: (2024)

Automated Hardware Trojan Insertion in Industrial-Scale Designs
di: Popryho, Yaroslav, et al.
Pubblicazione: (2025)

Generalized complex Stein manifold
di: Pal, Debjit
Pubblicazione: (2024)

ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
di: Mali, Bhabesh, et al.
Pubblicazione: (2024)

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

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

Compositional Program Generation for Few-Shot Systematic Generalization
di: Klinger, Tim, et al.
Pubblicazione: (2023)

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

Efficient and Provable Algorithms for Covariate Shift
di: Adil, Deeksha, et al.
Pubblicazione: (2025)

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

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

Personalizing Large Language Models using Retrieval Augmented Generation and Knowledge Graph
di: Prahlad, Deeksha, et al.
Pubblicazione: (2025)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
di: Ghazal, Zaid, et al.
Pubblicazione: (2026)

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

A Logical Fallacy-Informed Framework for Argument Generation
di: Mouchel, Luca, et al.
Pubblicazione: (2024)

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

Pan-Cancer Mapping of the Tumor Immune Landscape through Metagene Clustering and Predictive Modeling
di: Chatterjee, Soham
Pubblicazione: (2026)

The Illusion of Stochasticity in LLMs
di: Gu, Xiangming, et al.
Pubblicazione: (2026)

On the generalization capacity of neural networks during generic multimodal reasoning
di: Ito, Takuya, et al.
Pubblicazione: (2024)

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

Are LLMs Ready for Real-World Materials Discovery?
di: Miret, Santiago, et al.
Pubblicazione: (2024)

Optimal Scaling Laws for Efficiency Gains in a Theoretical Transformer-Augmented Sectional MoE Framework
di: Sane, Soham
Pubblicazione: (2025)

Hybrid Group Relative Policy Optimization: A Multi-Sample Approach to Enhancing Policy Optimization
di: Sane, Soham
Pubblicazione: (2025)

SVAgent: AI Agent for Hardware Security Verification Assertion
di: Guo, Rui, et al.
Pubblicazione: (2025)

A Boothby-Wang construction in generalized contact geometry
di: Pal, Debjit
Pubblicazione: (2026)

Are LLMs Ready for Conflict Monitoring? Empirical Evidence from West Africa
di: Muki, Hoffmann, et al.
Pubblicazione: (2026)

Handling Extreme Class Imbalance: Using GANs in Data Augmentation for Suicide Prediction
di: Visweswaraiah, Vaishnavi, et al.
Pubblicazione: (2025)

VaCDA: Variational Contrastive Alignment-based Scalable Human Activity Recognition
di: Khisa, Soham, et al.
Pubblicazione: (2025)

Data Alignment for Zero-Shot Concept Generation in Dermatology AI
di: Gadgil, Soham, et al.
Pubblicazione: (2024)

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

Estimate Level Adjustment For Inference With Proxies Under Random Distribution Shifts
di: Wilkins-Reeves, Steven, et al.
Pubblicazione: (2026)

AssertBench: A Benchmark for Evaluating Self-Assertion in Large Language Models
di: Lee, Jaeho, et al.
Pubblicazione: (2025)

Generalized complex structure on certain principal torus bundles
di: Pal, Debjit, et al.
Pubblicazione: (2023)

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

Are Small Language Models Ready to Compete with Large Language Models for Practical Applications?
di: Sinha, Neelabh, et al.
Pubblicazione: (2024)

AlphaGrad: Non-Linear Gradient Normalization Optimizer
di: Sane, Soham
Pubblicazione: (2025)

AM-PPO: (Advantage) Alpha-Modulation with Proximal Policy Optimization
di: Sane, Soham
Pubblicazione: (2025)