Imagen de Portada

Large Language Model Powered Symbolic Execution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Yihe, Meng, Ruijie, Duck, Gregory J.
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Persistent Iterators with Value Semantics
por: Li, Yihe, et al.
Publicado: (2026)

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

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
por: Lööw, Andreas, et al.
Publicado: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
por: Ayoun, Sacha-Élie, et al.
Publicado: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
por: Correnson, Arthur, et al.
Publicado: (2025)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
por: Pointner, Andreas, et al.
Publicado: (2025)

Large Language Model assisted Hybrid Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024)

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

Symbolic Execution for Quantum Error Correction Programs
por: Fang, Wang, et al.
Publicado: (2023)

Multi-Pass Targeted Dynamic Symbolic Execution
por: Yavuz, Tuba
Publicado: (2024)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
por: He, Mengting, et al.
Publicado: (2026)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
por: Andrès, Léo, et al.
Publicado: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
por: Karmios, Nat, et al.
Publicado: (2026)

Efficient Symbolic Execution of Software under Fault Attacks
por: Fang, Yuzhou, et al.
Publicado: (2025)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
por: Pezeshkpour, Pouya, et al.
Publicado: (2026)

Derivative-Guided Symbolic Execution
por: Yuan, Yongwei, et al.
Publicado: (2024)

NExT: Teaching Large Language Models to Reason about Code Execution
por: Ni, Ansong, et al.
Publicado: (2024)

Chain of Execution Supervision Promotes General Reasoning in Large Language Models
por: Chen, Nuo, et al.
Publicado: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
por: Saumya, Charitha, et al.
Publicado: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
por: Bouras, Dimitrios Stamatios, et al.
Publicado: (2026)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
por: Lööw, Andreas, et al.
Publicado: (2024)

Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
por: Rudkowski, Karl Aaron, et al.
Publicado: (2025)

An Execution Model for RICE
por: Libby, Steven
Publicado: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
por: Bayer, Jonas, et al.
Publicado: (2026)

Fully Randomized Pointers
por: Phaye, Sai Dhawal, et al.
Publicado: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
por: Zheng, Lianmin, et al.
Publicado: (2023)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
por: Lindner, Andreas, et al.
Publicado: (2023)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
por: Sun, Simeng, et al.
Publicado: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
por: Tempel, Sören, et al.
Publicado: (2024)

Literate Execution
por: Bond, Joe, et al.
Publicado: (2026)

LLM4Decompile: Decompiling Binary Code with Large Language Models
por: Tan, Hanzhuo, et al.
Publicado: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
por: Fang, Ruijie, et al.
Publicado: (2025)

Synthesizing Formal Semantics from Executable Interpreters
por: Liu, Jiangyi, et al.
Publicado: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
por: Abdelrazek, Zeyad, et al.
Publicado: (2026)

Optimized Execution of FreeCHR
por: Rechenberger, Sascha, et al.
Publicado: (2025)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
por: Liu, Shicheng, et al.
Publicado: (2023)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
por: Zhang, Hanliang, et al.
Publicado: (2024)

Equality Saturation Guided by Large Language Models
por: Peng, Wentao, et al.
Publicado: (2025)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
por: Huang, Siming, et al.
Publicado: (2024)

Instruction Set and Language for Symbolic Regression
por: Lopez-Rubio, Ezequiel, et al.
Publicado: (2026)