Copertina

Equality Saturation Guided by Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Peng, Wentao, Ji, Ruyi, Xiong, Yingfei
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Optimism in Equality Saturation
di: Arbore, Russel, et al.
Pubblicazione: (2025)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
di: Ji, Ruyi, et al.
Pubblicazione: (2022)

Proving Functional Program Equivalence via Directed Lemma Synthesis
di: Sun, Yican, et al.
Pubblicazione: (2024)

LLM-Guided Strategy Synthesis for Scalable Equality Saturation
di: Yin, Chenyun, et al.
Pubblicazione: (2026)

Towards Relational Contextual Equality Saturation
di: Hou, Tyler, et al.
Pubblicazione: (2025)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
di: Merckx, Jules, et al.
Pubblicazione: (2025)

E-Path: Equality Saturation for Control-Flow Graphs
di: Garcia, Guillermo
Pubblicazione: (2026)

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

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
di: Huang, Zhechong, et al.
Pubblicazione: (2025)

Equality Saturation for Optimizing High-Level Julia IR
di: Merckx, Jules, et al.
Pubblicazione: (2025)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
di: Smith, Gus Henry, et al.
Pubblicazione: (2024)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
di: Yin, Jiaqi, et al.
Pubblicazione: (2025)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
di: Dong, Rui, et al.
Pubblicazione: (2026)

Saturating automata for game semantics
di: Dixon, Alex, et al.
Pubblicazione: (2023)

Large Language Model Powered Symbolic Execution
di: Li, Yihe, et al.
Pubblicazione: (2025)

Leveraging Large Language Models for Generalizing Peephole Optimizations
di: Liao, Chunhao, et al.
Pubblicazione: (2026)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
di: Liu, Max, et al.
Pubblicazione: (2024)

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

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

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

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
di: Wang, Mingxiu, et al.
Pubblicazione: (2025)

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

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
di: Pirkelbauer, Peter, et al.
Pubblicazione: (2025)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
di: Esmaeili, Amirreza, et al.
Pubblicazione: (2025)

Compiler generated feedback for Large Language Models
di: Grubisic, Dejan, et al.
Pubblicazione: (2024)

Semantic Source Code Segmentation using Small and Large Language Models
di: Dahou, Abdelhalim, et al.
Pubblicazione: (2025)

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

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
di: Dong, Yixin, et al.
Pubblicazione: (2024)

Guess & Sketch: Language Model Guided Transpilation
di: Lee, Celine, et al.
Pubblicazione: (2023)

C*: Unifying Programming and Verification in C
di: Cao, Yiyuan, et al.
Pubblicazione: (2025)

Code Simulation Challenges for Large Language Models
di: La Malfa, Emanuele, et al.
Pubblicazione: (2024)

A Roadmap for Tamed Interactions with Large Language Models
di: Scotti, Vincenzo, et al.
Pubblicazione: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
di: Xiong, Jing, et al.
Pubblicazione: (2026)

LPR: Large Language Models-Aided Program Reduction
di: Zhang, Mengxiao, et al.
Pubblicazione: (2023)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
di: Li, Tianchi, et al.
Pubblicazione: (2026)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
di: Cummins, Chris, et al.
Pubblicazione: (2024)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
di: Chen, Zhibo, et al.
Pubblicazione: (2023)

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

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
di: Liang, Qingyuan, et al.
Pubblicazione: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
di: Xu, Zhenyang, et al.
Pubblicazione: (2025)