:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Qiu, Lei, Yang, Zi, Lyu, Fang, Zhong, Ming, Cui, Huimin, Feng, Xiaobing
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2602.18511
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
von: Liu, Yiqun, et al.
Veröffentlicht: (2026)

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
von: Zhang, Shuoming, et al.
Veröffentlicht: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
von: Zhang, Shuoming, et al.
Veröffentlicht: (2026)

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

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
von: Endres, Madeline, et al.
Veröffentlicht: (2023)

Cost-of-Pass: An Economic Framework for Evaluating Language Models
von: Erol, Mehmet Hamza, et al.
Veröffentlicht: (2025)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
von: Zhang, Yansen, et al.
Veröffentlicht: (2025)

LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models
von: Zhi, Yijie, et al.
Veröffentlicht: (2025)

Beyond Facts: Evaluating Intent Hallucination in Large Language Models
von: Hao, Yijie, et al.
Veröffentlicht: (2025)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
von: Armengol-Estapé, Jordi, et al.
Veröffentlicht: (2023)

Promptomatix: An Automatic Prompt Optimization Framework for Large Language Models
von: Murthy, Rithesh, et al.
Veröffentlicht: (2025)

Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems
von: Walder, Christian, et al.
Veröffentlicht: (2025)

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

Cast a Wider Net: Coordinated Pass@K Policy Optimization for Code Reasoning
von: Li, Yilong, et al.
Veröffentlicht: (2026)

Towards Repository-Level Program Verification with Large Language Models
von: Zhong, Si Cheng, et al.
Veröffentlicht: (2025)

Generative Adapter: Contextualizing Language Models in Parameters with A Single Forward Pass
von: Chen, Tong, et al.
Veröffentlicht: (2024)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
von: Gu, Alex, et al.
Veröffentlicht: (2025)

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

Dist2ill: Distributional Distillation for One-Pass Uncertainty Estimation in Large Language Models
von: Zhao, Yicong, et al.
Veröffentlicht: (2025)

PassTSL: Modeling Human-Created Passwords through Two-Stage Learning
von: Wang, Yangde, et al.
Veröffentlicht: (2024)

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

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

QiMeng-NeuComBack: Self-Evolving Translation from IR to Assembly Code
von: Fang, Hainan, et al.
Veröffentlicht: (2025)

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
von: Pan, Haolin, et al.
Veröffentlicht: (2026)

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

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
von: Nadimi, Bardia, et al.
Veröffentlicht: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
von: Liu, Changshu, et al.
Veröffentlicht: (2024)

ClassInvGen: Class Invariant Synthesis using Large Language Models
von: Sun, Chuyue, et al.
Veröffentlicht: (2025)

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

ROPO: Robust Preference Optimization for Large Language Models
von: Liang, Xize, et al.
Veröffentlicht: (2024)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
von: Pennino, Federico, et al.
Veröffentlicht: (2025)

Bayesian Optimization for Enhanced Language Models: Optimizing Acquisition Functions
von: Bao, Zishuo, et al.
Veröffentlicht: (2025)

Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward Passes
von: Christ, Bryan R., et al.
Veröffentlicht: (2024)

Top Pass: Improve Code Generation by Pass@k-Maximized Code Ranking
von: Lyu, Zhi-Cun, et al.
Veröffentlicht: (2024)

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

Beyond Context: Large Language Models' Failure to Grasp Users' Intent
von: Hussain, Ahmed M., et al.
Veröffentlicht: (2025)

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

ConsintBench: Evaluating Language Models on Real-World Consumer Intent Understanding
von: Li, Xiaozhe, et al.
Veröffentlicht: (2025)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
von: Zhong, Hua, et al.
Veröffentlicht: (2025)

Scalable Floating-Point Satisfiability via Staged Optimization
von: Zhang, Yuanzhuo, et al.
Veröffentlicht: (2026)