Imagen de Portada

Are LLMs Ready for Practical Adoption for Assertion Generation?

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pulavarthi, Vaishnavi, Nandal, Deeksha, Dan, Soham, Pal, Debjit
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Generalized complex Stein manifold
por: Pal, Debjit
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

AlphaGrad: Non-Linear Gradient Normalization Optimizer
por: Sane, Soham
Publicado: (2025)

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