Can Language Models Pretend Solvers? Logic Code Simulation with LLMs

Documenti analoghi

• DCE-LLM: Dead Code Elimination with Large Language Models
  di: Chen, Minyu, et al.
  Pubblicazione: (2025)
• Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
  di: Liu, Ruibang, et al.
  Pubblicazione: (2024)
• Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
  di: Brancas, Ricardo, et al.
  Pubblicazione: (2024)
• Theta as a Horn Solver
  di: Bajczi, Levente, et al.
  Pubblicazione: (2025)
• Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
  di: Lee, Yeonseok
  Pubblicazione: (2026)