Cover Image

A Learning Method for Symbolic Systems Using Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fang, Jian, Yao, Yixun, Xiong, Yingfei
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
by: Fang, Jian, et al.
Published: (2026)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
by: Huang, Zhechong, et al.
Published: (2026)

From Symbol to Meaning: Ontological and Philosophical Reflections on Large Language Models in Information Systems Engineering
by: de Oliveira, José Palazzo Moreira
Published: (2026)

On Reasoning-Centric LLM-based Automated Theorem Proving
by: Sun, Yican, et al.
Published: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
by: Li, Fengjie, et al.
Published: (2026)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
by: Xiao, Yuan-An, et al.
Published: (2023)

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

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

Line-level Semantic Structure Learning for Code Vulnerability Detection
by: Wang, Ziliang, et al.
Published: (2024)

Scaling Symbolic Execution to Large Software Systems
by: Horvath, Gabor, et al.
Published: (2024)

Effective Random Test Generation for Deep Learning Compilers
by: Ren, Luyao, et al.
Published: (2023)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
by: Zhao, Yuwei, et al.
Published: (2025)

Development of Automated Software Design Document Review Methods Using Large Language Models
by: Fukuda, Takasaburo, et al.
Published: (2025)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
by: Bouras, Dimitrios Stamatios, et al.
Published: (2025)

M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
by: Wang, Ziliang, et al.
Published: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
by: Xiao, Yuan-An, et al.
Published: (2025)

Reducing Cost of LLM Agents with Trajectory Reduction
by: Xiao, Yuan-An, et al.
Published: (2025)

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

A Survey on Large Language Models for Software Engineering
by: Zhang, Quanjun, et al.
Published: (2023)

Prioritizing Software Requirements Using Large Language Models
by: Sami, Malik Abdul, et al.
Published: (2024)

Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2025)

A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
by: Shang, Ye, et al.
Published: (2024)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
by: Feng, Rong, et al.
Published: (2025)

Large Language Models for Unit Testing: A Systematic Literature Review
by: Zhang, Quanjun, et al.
Published: (2025)

Validity-Preserving Delta Debugging via Generator Trace Reduction
by: Ren, Luyao, et al.
Published: (2024)

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

Automated Repair of C Programs Using Large Language Models
by: Farzandway, Mahdi, et al.
Published: (2025)

Identification and Optimization of Redundant Code Using Large Language Models
by: Cynthia, Shamse Tasnim
Published: (2025)

Using Large Language Models to Develop Requirements Elicitation Skills
by: Lojo, Nelson, et al.
Published: (2025)

A Tool for Test Case Scenarios Generation Using Large Language Models
by: Sami, Abdul Malik, et al.
Published: (2024)

Using Large Language Models for Commit Message Generation: A Preliminary Study
by: Zhang, Linghao, et al.
Published: (2024)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
by: Schuler, Nicolas, et al.
Published: (2026)

Exploring Large Language Models for Analyzing and Improving Method Names in Scientific Code
by: Larsen, Gunnar, et al.
Published: (2025)

Using Large Language Models for Natural Language Processing Tasks in Requirements Engineering: A Systematic Guideline
by: Vogelsang, Andreas, et al.
Published: (2024)

A System Model Generation Benchmark from Natural Language Requirements
by: Jin, Dongming, et al.
Published: (2025)

Large Language Models for Fault Localization: An Empirical Study
by: Xiao, YingJian, et al.
Published: (2025)

Exploring the Potential of Large Language Models in Self-adaptive Systems
by: Li, Jialong, et al.
Published: (2024)

LogLLM: Log-based Anomaly Detection Using Large Language Models
by: Guan, Wei, et al.
Published: (2024)

Self-planning Code Generation with Large Language Models
by: Jiang, Xue, et al.
Published: (2023)

Sustainable Code Generation Using Large Language Models: A Systematic Literature Review
by: Ali, Sabiya Banu Masthan, et al.
Published: (2026)