Copertina

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Minda, Krishnamachari, Bhaskar
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

Evaluating ChatGPT-3.5 Efficiency in Solving Coding Problems of Different Complexity Levels: An Empirical Analysis
di: Li, Minda, et al.
Pubblicazione: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
di: Rossi, Roberto, et al.
Pubblicazione: (2026)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
di: Xu, Shuyuan, et al.
Pubblicazione: (2024)

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

LightCode: Compiling LLM Inference for Photonic-Electronic Systems
di: Tomich, Ryan, et al.
Pubblicazione: (2025)

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

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
di: Zhang, Xiao, et al.
Pubblicazione: (2025)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
di: Barke, Shraddha, et al.
Pubblicazione: (2024)

Algorithmic Language Models with Neurally Compiled Libraries
di: Saldyt, Lucas, et al.
Pubblicazione: (2024)

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

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

Probabilistic Programming with Programmable Variational Inference
di: Becker, McCoy R., et al.
Pubblicazione: (2024)

Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
di: Absar, Javed, et al.
Pubblicazione: (2026)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
di: Wang, Ming, et al.
Pubblicazione: (2024)

Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course
di: Ma, Boxaun, et al.
Pubblicazione: (2024)

Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
di: Absar, Mohammed Javed, et al.
Pubblicazione: (2026)

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
di: Gao, Wei, et al.
Pubblicazione: (2024)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
di: Li, Guchan, et al.
Pubblicazione: (2026)

Modelling Program Spaces in Program Synthesis with Constraints
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

Relational Programming with Foundation Models
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Reinforcement Learning from Compiler and Language Server Feedback
di: Zhang, Yifan, et al.
Pubblicazione: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
di: Shen, Chen, et al.
Pubblicazione: (2026)

An LLM-Tool Compiler for Fused Parallel Function Calling
di: Singh, Simranjit, et al.
Pubblicazione: (2024)

Inference Plans for Hybrid Particle Filtering
di: Cheng, Ellie Y., et al.
Pubblicazione: (2024)

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

Program Skeletons for Automated Program Translation
di: Wang, Bo, et al.
Pubblicazione: (2025)

Probabilistic Programs of Thought
di: Garg, Poorva, et al.
Pubblicazione: (2026)

Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve
di: Chen, Hongzheng, et al.
Pubblicazione: (2026)

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

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
di: Le-Cong, Thanh, et al.
Pubblicazione: (2025)

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)

Sharing State Between Prompts and Programs
di: Cheng, Ellie Y., et al.
Pubblicazione: (2025)

Amortizing Pragmatic Program Synthesis with Rankings
di: Pu, Yewen, et al.
Pubblicazione: (2024)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
di: Dantanarayana, Jayanaka L., et al.
Pubblicazione: (2024)

depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
di: You, Kaichao, et al.
Pubblicazione: (2024)

LACUNA: Safe Agents as Recursive Program Holes
di: Zhao, Yaoyu, et al.
Pubblicazione: (2026)

PDL: A Declarative Prompt Programming Language
di: Vaziri, Mandana, et al.
Pubblicazione: (2024)

ChipGPT: How far are we from natural language hardware design
di: Chang, Kaiyan, et al.
Pubblicazione: (2023)

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

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
di: Zhang, Zehua, et al.
Pubblicazione: (2025)