Buchumschlag

Equality Saturation Guided by Large Language Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Peng, Wentao, Ji, Ruyi, Xiong, Yingfei
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimism in Equality Saturation
von: Arbore, Russel, et al.
Veröffentlicht: (2025)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
von: Ji, Ruyi, et al.
Veröffentlicht: (2022)

Proving Functional Program Equivalence via Directed Lemma Synthesis
von: Sun, Yican, et al.
Veröffentlicht: (2024)

LLM-Guided Strategy Synthesis for Scalable Equality Saturation
von: Yin, Chenyun, et al.
Veröffentlicht: (2026)

Towards Relational Contextual Equality Saturation
von: Hou, Tyler, et al.
Veröffentlicht: (2025)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
von: Merckx, Jules, et al.
Veröffentlicht: (2025)

E-Path: Equality Saturation for Control-Flow Graphs
von: Garcia, Guillermo
Veröffentlicht: (2026)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
von: Van der Cruysse, Jonathan, et al.
Veröffentlicht: (2023)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2025)

Equality Saturation for Optimizing High-Level Julia IR
von: Merckx, Jules, et al.
Veröffentlicht: (2025)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
von: Smith, Gus Henry, et al.
Veröffentlicht: (2024)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
von: Yin, Jiaqi, et al.
Veröffentlicht: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
von: Dong, Rui, et al.
Veröffentlicht: (2026)

Saturating automata for game semantics
von: Dixon, Alex, et al.
Veröffentlicht: (2023)

Large Language Model Powered Symbolic Execution
von: Li, Yihe, et al.
Veröffentlicht: (2025)

Leveraging Large Language Models for Generalizing Peephole Optimizations
von: Liao, Chunhao, et al.
Veröffentlicht: (2026)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
von: Liu, Max, et al.
Veröffentlicht: (2024)

LLM4Decompile: Decompiling Binary Code with Large Language Models
von: Tan, Hanzhuo, et al.
Veröffentlicht: (2024)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
von: Huang, Siming, et al.
Veröffentlicht: (2024)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
von: Liu, Shicheng, et al.
Veröffentlicht: (2023)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
von: Wang, Mingxiu, et al.
Veröffentlicht: (2025)

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
von: Zhan, Bohua, et al.
Veröffentlicht: (2024)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
von: Pirkelbauer, Peter, et al.
Veröffentlicht: (2025)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
von: Esmaeili, Amirreza, et al.
Veröffentlicht: (2025)

Compiler generated feedback for Large Language Models
von: Grubisic, Dejan, et al.
Veröffentlicht: (2024)

Converting IEC 61131-3 LD into SFC Using Large Language Model: Dataset and Testing
von: Zhang, Yimin, et al.
Veröffentlicht: (2025)

Semantic Source Code Segmentation using Small and Large Language Models
von: Dahou, Abdelhalim, et al.
Veröffentlicht: (2025)

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
von: Dong, Yixin, et al.
Veröffentlicht: (2024)

Guess & Sketch: Language Model Guided Transpilation
von: Lee, Celine, et al.
Veröffentlicht: (2023)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

Code Simulation Challenges for Large Language Models
von: La Malfa, Emanuele, et al.
Veröffentlicht: (2024)

A Roadmap for Tamed Interactions with Large Language Models
von: Scotti, Vincenzo, et al.
Veröffentlicht: (2025)

LPR: Large Language Models-Aided Program Reduction
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
von: Li, Tianchi, et al.
Veröffentlicht: (2026)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
von: Cummins, Chris, et al.
Veröffentlicht: (2024)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
von: Chen, Zhibo, et al.
Veröffentlicht: (2023)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
von: Pezeshkpour, Pouya, et al.
Veröffentlicht: (2026)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
von: Liang, Qingyuan, et al.
Veröffentlicht: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
von: Xu, Zhenyang, et al.
Veröffentlicht: (2025)