Imagen de Portada

Prophecy: Inferring Formal Properties from Neuron Activations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gopinath, Divya, Pasareanu, Corina S., Usman, Muhammad
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
por: Hu, Boyue Caroline, et al.
Publicado: (2025)

Inferring Properties of Graph Neural Networks
por: Nguyen, Dat, et al.
Publicado: (2024)

CONCUR: Benchmarking LLMs for Concurrent Code Generation
por: Huang, Jue, et al.
Publicado: (2026)

On the Difficulty of Selecting Few-Shot Examples for Effective LLM-based Vulnerability Detection
por: Hannan, Md Abdul, et al.
Publicado: (2025)

Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach
por: Mahmud, Tarek, et al.
Publicado: (2025)

Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment
por: Ahmed, Shibbir, et al.
Publicado: (2024)

Automating REST API Postman Test Cases Using LLM
por: Sri, S Deepika, et al.
Publicado: (2024)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
por: Tan, Max
Publicado: (2026)

Agentic AI Software Engineers: Programming with Trust
por: Roychoudhury, Abhik, et al.
Publicado: (2025)

Tracing Stereotypes in Pre-trained Transformers: From Biased Neurons to Fairer Models
por: Voria, Gianmario, et al.
Publicado: (2026)

Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models
por: Canizales, Ronaldo, et al.
Publicado: (2026)

NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-level Semantic Slicing
por: Zhou, Shide, et al.
Publicado: (2024)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
por: Wei, Tianhao, et al.
Publicado: (2024)

Neuron Patching: Semantic-based Neuron-level Language Model Repair for Code Generation
por: Gu, Jian, et al.
Publicado: (2023)

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
por: Koh, Daniel, et al.
Publicado: (2025)

Defect Prediction Using Stylistic Metrics
por: Yasir, Rafed Muhammad, et al.
Publicado: (2022)

SecureInfer: Heterogeneous TEE-GPU Architecture for Privacy-Critical Tensors for Large Language Model Deployment
por: Nayan, Tushar, et al.
Publicado: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
por: Mitchell, Jacqueline L., et al.
Publicado: (2025)

Enhancing Software Vulnerability Detection Using Code Property Graphs and Convolutional Neural Networks
por: Saimbhi, Amanpreet Singh
Publicado: (2025)

Neural Variable Name Repair: Learning to Rename Identifiers for Readability
por: Yousuf, Muhammad, et al.
Publicado: (2025)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
por: Watson, Christopher, et al.
Publicado: (2025)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
por: Sanchez-Stern, Alex, et al.
Publicado: (2024)

A systematic literature Review for Transformer-based Software Vulnerability detection
por: Naseer, Fiza, et al.
Publicado: (2026)

Model Cascading for Code: A Cascaded Black-Box Multi-Model Framework for Cost-Efficient Code Completion with Self-Testing
por: Chen, Boyuan, et al.
Publicado: (2024)

A Meta-analytical Comparison of Naive Bayes and Random Forest for Software Defect Prediction
por: Awais, Ch Muhammad, et al.
Publicado: (2023)

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
por: Ibrahimzada, Ali Reza, et al.
Publicado: (2024)

On Accelerating Deep Neural Network Mutation Analysis by Neuron and Mutant Clustering
por: Lyons, Lauren, et al.
Publicado: (2025)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
por: Chakraborty, Madhurima, et al.
Publicado: (2025)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
por: Murphy, William, et al.
Publicado: (2024)

DomainLab: A modular Python package for domain generalization in deep learning
por: Sun, Xudong, et al.
Publicado: (2024)

Deployment-Relevant Alignment Cannot Be Inferred from Model-Level Evaluation Alone
por: Vishwarupe, Varad, et al.
Publicado: (2026)

SecCodePRM: A Process Reward Model for Code Security
por: Yu, Weichen, et al.
Publicado: (2026)

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
por: Gohar, Usman, et al.
Publicado: (2024)

Automatically Testing Functional Properties of Code Translation Models
por: Eniser, Hasan Ferit, et al.
Publicado: (2023)

Lessons Learned from Mining the Hugging Face Repository
por: Castaño, Joel, et al.
Publicado: (2024)

Otter: Generating Tests from Issues to Validate SWE Patches
por: Ahmed, Toufique, et al.
Publicado: (2025)

DafnyBench: A Benchmark for Formal Software Verification
por: Loughridge, Chloe, et al.
Publicado: (2024)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
por: Steenhoek, Benjamin, et al.
Publicado: (2023)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
por: Steenhoek, Benjamin, et al.
Publicado: (2024)

Aggregating empirical evidence from data strategy studies: a case on model quantization
por: del Rey, Santiago, et al.
Publicado: (2025)