Copertina

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Qiu, Lei, Yang, Zi, Lyu, Fang, Zhong, Ming, Cui, Huimin, Feng, Xiaobing
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
di: Liu, Yiqun, et al.
Pubblicazione: (2026)

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

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
di: Zhang, Shuoming, et al.
Pubblicazione: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
di: Zhang, Shuoming, et al.
Pubblicazione: (2026)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
di: Endres, Madeline, et al.
Pubblicazione: (2023)

Cost-of-Pass: An Economic Framework for Evaluating Language Models
di: Erol, Mehmet Hamza, et al.
Pubblicazione: (2025)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
di: Zhang, Yansen, et al.
Pubblicazione: (2025)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
di: Armengol-Estapé, Jordi, et al.
Pubblicazione: (2023)

Beyond Facts: Evaluating Intent Hallucination in Large Language Models
di: Hao, Yijie, et al.
Pubblicazione: (2025)

LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models
di: Zhi, Yijie, et al.
Pubblicazione: (2025)

FoodSky: A Food-oriented Large Language Model that Passes the Chef and Dietetic Examination
di: Zhou, Pengfei, et al.
Pubblicazione: (2024)

Cast a Wider Net: Coordinated Pass@K Policy Optimization for Code Reasoning
di: Li, Yilong, et al.
Pubblicazione: (2026)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems
di: Walder, Christian, et al.
Pubblicazione: (2025)

Promptomatix: An Automatic Prompt Optimization Framework for Large Language Models
di: Murthy, Rithesh, et al.
Pubblicazione: (2025)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
di: Gu, Alex, et al.
Pubblicazione: (2025)

Generative Adapter: Contextualizing Language Models in Parameters with A Single Forward Pass
di: Chen, Tong, et al.
Pubblicazione: (2024)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
di: Lin, Hongyu, et al.
Pubblicazione: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
di: Richter, Cedric, et al.
Pubblicazione: (2025)

QiMeng-NeuComBack: Self-Evolving Translation from IR to Assembly Code
di: Fang, Hainan, et al.
Pubblicazione: (2025)

Dist2ill: Distributional Distillation for One-Pass Uncertainty Estimation in Large Language Models
di: Zhao, Yicong, et al.
Pubblicazione: (2025)

Don't Pass@k: A Bayesian Framework for Large Language Model Evaluation
di: Hariri, Mohsen, et al.
Pubblicazione: (2025)

Free Lunch for Pass@$k$? Low Cost Diverse Sampling for Diffusion Language Models
di: Lamont, Sean, et al.
Pubblicazione: (2026)

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
di: Pan, Haolin, et al.
Pubblicazione: (2026)

PassTSL: Modeling Human-Created Passwords through Two-Stage Learning
di: Wang, Yangde, et al.
Pubblicazione: (2024)

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
di: Nadimi, Bardia, et al.
Pubblicazione: (2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
di: Pennino, Federico, et al.
Pubblicazione: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
di: Liu, Changshu, et al.
Pubblicazione: (2024)

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

ClassInvGen: Class Invariant Synthesis using Large Language Models
di: Sun, Chuyue, et al.
Pubblicazione: (2025)

Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward Passes
di: Christ, Bryan R., et al.
Pubblicazione: (2024)

Scalable Floating-Point Satisfiability via Staged Optimization
di: Zhang, Yuanzhuo, et al.
Pubblicazione: (2026)

Bayesian Optimization for Enhanced Language Models: Optimizing Acquisition Functions
di: Bao, Zishuo, et al.
Pubblicazione: (2025)

Pass@k Training for Adaptively Balancing Exploration and Exploitation of Large Reasoning Models
di: Chen, Zhipeng, et al.
Pubblicazione: (2025)

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
di: Xu, Xu, et al.
Pubblicazione: (2025)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
di: Wang, Peiding, et al.
Pubblicazione: (2025)

ROPO: Robust Preference Optimization for Large Language Models
di: Liang, Xize, et al.
Pubblicazione: (2024)

From Large to Small: Transferring CUDA Optimization Expertise via Reasoning Graph
di: Gong, Junfeng, et al.
Pubblicazione: (2025)

JTON: A Token-Efficient JSON Superset with Zen Grid Tabular Encoding for Large Language Models
di: Nandakishore, Gowthamkumar
Pubblicazione: (2026)

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
di: Roberson, Richard, et al.
Pubblicazione: (2024)