:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cheng, Ellie Y., Weber, Logan, Jin, Tian, Carbin, Michael
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2512.14805
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Inference Plans for Hybrid Particle Filtering
von: Cheng, Ellie Y., et al.
Veröffentlicht: (2024)

Learning to Compile Programs to Neural Networks
von: Weber, Logan, et al.
Veröffentlicht: (2024)

PDL: A Declarative Prompt Programming Language
von: Vaziri, Mandana, et al.
Veröffentlicht: (2024)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
von: Dong, Honghua, et al.
Veröffentlicht: (2024)

Emergent Representations of Program Semantics in Language Models Trained on Programs
von: Jin, Charles, et al.
Veröffentlicht: (2023)

Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines
von: Lin, Yu-An, et al.
Veröffentlicht: (2023)

A Taxonomy of Prompt Defects in LLM Systems
von: Tian, Haoye, et al.
Veröffentlicht: (2025)

Can Language Models Solve Olympiad Programming?
von: Shi, Quan, et al.
Veröffentlicht: (2024)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
von: Wang, Ming, et al.
Veröffentlicht: (2024)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
von: Yuan, Charles, et al.
Veröffentlicht: (2023)

Planned Diffusion
von: Israel, Daniel, et al.
Veröffentlicht: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2025)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
von: Yuan, Charles, et al.
Veröffentlicht: (2023)

Probabilistic Programs of Thought
von: Garg, Poorva, et al.
Veröffentlicht: (2026)

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

Relational Programming with Foundation Models
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts
von: Lee, Yanggyu, et al.
Veröffentlicht: (2024)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
von: Pu, Yewen, et al.
Veröffentlicht: (2024)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
von: Irugalbandara, Chandra
Veröffentlicht: (2024)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
von: Councilman, Aaron, et al.
Veröffentlicht: (2025)

LACUNA: Safe Agents as Recursive Program Holes
von: Zhao, Yaoyu, et al.
Veröffentlicht: (2026)

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

SGLang: Efficient Execution of Structured Language Model Programs
von: Zheng, Lianmin, et al.
Veröffentlicht: (2023)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
von: Sultan, Oren, et al.
Veröffentlicht: (2026)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
von: Xu, Zhenyu, et al.
Veröffentlicht: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
von: Rossi, Roberto, et al.
Veröffentlicht: (2026)

Data Petri Nets meet Probabilistic Programming (Extended version)
von: Kuhn, Martin, et al.
Veröffentlicht: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
von: Barke, Shraddha, et al.
Veröffentlicht: (2024)

Program Skeletons for Automated Program Translation
von: Wang, Bo, et al.
Veröffentlicht: (2025)

What is an "Abstract Reasoner"? Revisiting Experiments and Arguments about Large Language Models
von: Yun, Tian, et al.
Veröffentlicht: (2025)

mOthello: When Do Cross-Lingual Representation Alignment and Cross-Lingual Transfer Emerge in Multilingual Models?
von: Hua, Tianze, et al.
Veröffentlicht: (2024)

Mirage: A Multi-Level Superoptimizer for Tensor Programs
von: Wu, Mengdi, et al.
Veröffentlicht: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
von: Laurent, Jonathan, et al.
Veröffentlicht: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
von: Dantanarayana, Jayanaka L., et al.
Veröffentlicht: (2024)

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
von: Surana, Shraddha, et al.
Veröffentlicht: (2025)

AutoCode: LLMs as Problem Setters for Competitive Programming
von: Zhou, Shang, et al.
Veröffentlicht: (2025)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
von: Liang, Eric
Veröffentlicht: (2026)

Prompt Orchestration Markup Language
von: Zhang, Yuge, et al.
Veröffentlicht: (2025)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
von: Li, Minda, et al.
Veröffentlicht: (2026)