Cover Image

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Koh, Daniel, Noller, Yannic, Pasareanu, Corina S., Skapars, Adrians, Sun, Youcheng
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SAFLITE: Fuzzing Autonomous Systems via Large Language Models
by: Zhu, Taohong, et al.
Published: (2024)

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

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

Exploring Generalizable Automated Program Repair with Large Language Models
by: Campos, Viola, et al.
Published: (2025)

GPT, But Backwards: Exactly Inverting Language Model Outputs
by: Skapars, Adrians, et al.
Published: (2025)

Was it Slander? Towards Exact Inversion of Generative Language Models
by: Skapars, Adrians, et al.
Published: (2024)

Automated Code Review Using Large Language Models with Symbolic Reasoning
by: Icoz, Busra, et al.
Published: (2025)

Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability
by: AI, Lumen, et al.
Published: (2025)

Welcome Your New AI Teammate: On Safety Analysis by Leashing Large Language Models
by: Nouri, Ali, et al.
Published: (2024)

Large Language Models as Test Case Generators: Performance Evaluation and Enhancement
by: Li, Kefan, et al.
Published: (2024)

Do Linear Probes Generalize Better in Persona Coordinates?
by: Mahadik, Prasad, et al.
Published: (2026)

Generating Streamlining Constraints with Large Language Models
by: Voboril, Florentina, et al.
Published: (2024)

Enhancing Legal Compliance and Regulation Analysis with Large Language Models
by: Hassani, Shabnam
Published: (2024)

Automated User Story Generation with Test Case Specification Using Large Language Model
by: Rahman, Tajmilur, et al.
Published: (2024)

SWE-Skills-Bench: Do Agent Skills Actually Help in Real-World Software Engineering?
by: Han, Tingxu, et al.
Published: (2026)

A Contemporary Survey of Large Language Model Assisted Program Analysis
by: Wang, Jiayimei, et al.
Published: (2025)

A Comparative Analysis of Large Language Models for Code Documentation Generation
by: Dvivedi, Shubhang Shekhar, et al.
Published: (2023)

LLM-Driven Kernel Evolution: Automating Driver Updates in Linux
by: Kharlamova, Arina, et al.
Published: (2025)

SHERPA: A Model-Driven Framework for Large Language Model Execution
by: Chen, Boqi, et al.
Published: (2025)

Evaluating Large Language Models for Functional and Maintainable Code in Industrial Settings: A Case Study at ASML
by: Mundhra, Yash, et al.
Published: (2025)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
by: Abtahi, Seyed Moein, et al.
Published: (2025)

Automating Structural Analysis Across Multiple Software Platforms Using Large Language Models
by: Geng, Ziheng, et al.
Published: (2026)

Large Language Models in Code Co-generation for Safe Autonomous Vehicles
by: Nouri, Ali, et al.
Published: (2025)

Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
by: Liao, Dianshu, et al.
Published: (2025)

Comparative Analysis of Large Language Models for Context-Aware Code Completion using SAFIM Framework
by: Zhang, Hang, et al.
Published: (2025)

EmbedAgent: Benchmarking Large Language Models in Embedded System Development
by: Xu, Ruiyang, et al.
Published: (2025)

ConCodeEval: Evaluating Large Language Models for Code Constraints in Domain-Specific Languages
by: Kammakomati, Mehant, et al.
Published: (2024)

StackTrans: From Large Language Model to Large Pushdown Automata Model
by: Zhang, Kechi, et al.
Published: (2025)

Metamorphic Testing of Large Language Models for Natural Language Processing
by: Cho, Steven, et al.
Published: (2025)

How Propense Are Large Language Models at Producing Code Smells? A Benchmarking Study
by: Velasco, Alejandro, et al.
Published: (2024)

Scalable and Efficient Large-Scale Log Analysis with LLMs: An IT Software Support Case Study
by: Gupta, Pranjal, et al.
Published: (2025)

Prophecy: Inferring Formal Properties from Neuron Activations
by: Gopinath, Divya, et al.
Published: (2025)

Evaluating Large Language Models for Code Review
by: Cihan, Umut, et al.
Published: (2025)

Explaining Software Vulnerabilities with Large Language Models
by: Johnson, Oshando, et al.
Published: (2025)

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

Assessing the Business Process Modeling Competences of Large Language Models
by: Lauer, Chantale, et al.
Published: (2026)

Large Language Models for Validating Network Protocol Parsers
by: Zheng, Mingwei, et al.
Published: (2025)

Adopting Large Language Models to Automated System Integration
by: Pesl, Robin D.
Published: (2025)

On the Challenges of Fuzzing Techniques via Large Language Models
by: Huang, Linghan, et al.
Published: (2024)

Task Abstention for Large Language Models in Code Generation
by: Zhou, Yanke, et al.
Published: (2026)