APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
Fuente:
arXiv
Guardado en:
| Autores principales: | Dong, Honghua, Su, Qidong, Gao, Yubo, Li, Zhaoyu, Ruan, Yangjun, Pekhimenko, Gennady, Maddison, Chris J., Si, Xujie |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Towards Repository-Level Program Verification with Large Language Models
por: Zhong, Si Cheng, et al.
Publicado: (2025)
por: Zhong, Si Cheng, et al.
Publicado: (2025)
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
por: Dong, Honghua, et al.
Publicado: (2025)
por: Dong, Honghua, et al.
Publicado: (2025)
Observational Scaling Laws and the Predictability of Language Model Performance
por: Ruan, Yangjun, et al.
Publicado: (2024)
por: Ruan, Yangjun, et al.
Publicado: (2024)
Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
por: Zhang, Yihan, et al.
Publicado: (2026)
por: Zhang, Yihan, et al.
Publicado: (2026)
PDL: A Declarative Prompt Programming Language
por: Vaziri, Mandana, et al.
Publicado: (2024)
por: Vaziri, Mandana, et al.
Publicado: (2024)
Generation of Programming Exam Question and Answer Using ChatGPT Based on Prompt Engineering
por: Si, Jongwook, et al.
Publicado: (2026)
por: Si, Jongwook, et al.
Publicado: (2026)
Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
por: Ding, Yaoyao, et al.
Publicado: (2025)
por: Ding, Yaoyao, et al.
Publicado: (2025)
Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
por: Zhang, Xiao, et al.
Publicado: (2025)
por: Zhang, Xiao, et al.
Publicado: (2025)
LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
por: Wang, Ming, et al.
Publicado: (2024)
por: Wang, Ming, et al.
Publicado: (2024)
LPR: Large Language Models-Aided Program Reduction
por: Zhang, Mengxiao, et al.
Publicado: (2023)
por: Zhang, Mengxiao, et al.
Publicado: (2023)
Sharing State Between Prompts and Programs
por: Cheng, Ellie Y., et al.
Publicado: (2025)
por: Cheng, Ellie Y., et al.
Publicado: (2025)
Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
por: Paul, Abhijit
Publicado: (2025)
por: Paul, Abhijit
Publicado: (2025)
Structured Prompt Language: Declarative Context Management for LLMs
por: Gong, Wen G.
Publicado: (2026)
por: Gong, Wen G.
Publicado: (2026)
Can Language Models Solve Olympiad Programming?
por: Shi, Quan, et al.
Publicado: (2024)
por: Shi, Quan, et al.
Publicado: (2024)
Emergent Representations of Program Semantics in Language Models Trained on Programs
por: Jin, Charles, et al.
Publicado: (2023)
por: Jin, Charles, et al.
Publicado: (2023)
Extensibility in Programming Languages: An overview
por: Nicolajsen, Sebastian mateos
Publicado: (2025)
por: Nicolajsen, Sebastian mateos
Publicado: (2025)
Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)
por: Crichton, Will, et al.
Publicado: (2024)
Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)
por: Stites, Sam, et al.
Publicado: (2025)
Prompt Orchestration Markup Language
por: Zhang, Yuge, et al.
Publicado: (2025)
por: Zhang, Yuge, et al.
Publicado: (2025)
SuperCoder: Assembly Program Superoptimization with Large Language Models
por: Wei, Anjiang, et al.
Publicado: (2025)
por: Wei, Anjiang, et al.
Publicado: (2025)
Refactoring Programs Using Large Language Models with Few-Shot Examples
por: Shirafuji, Atsushi, et al.
Publicado: (2023)
por: Shirafuji, Atsushi, et al.
Publicado: (2023)
Prompt Programming for Cultural Bias and Alignment of Large Language Models
por: Eren, Maksim, et al.
Publicado: (2026)
por: Eren, Maksim, et al.
Publicado: (2026)
The IsalProgram Programming Language
por: López-Rubio, Ezequiel
Publicado: (2026)
por: López-Rubio, Ezequiel
Publicado: (2026)
A Programming Language for Feasible Solutions
por: Chen, Weijun, et al.
Publicado: (2025)
por: Chen, Weijun, et al.
Publicado: (2025)
From Program Logics to Language Logics
por: Cimini, Matteo
Publicado: (2024)
por: Cimini, Matteo
Publicado: (2024)
A Multilingual Python Programming Language
por: Bazaz, Saad Ahmed, et al.
Publicado: (2025)
por: Bazaz, Saad Ahmed, et al.
Publicado: (2025)
XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
por: Dong, Yixin, et al.
Publicado: (2024)
por: Dong, Yixin, et al.
Publicado: (2024)
How Programming Concepts and Neurons Are Shared in Code Language Models
por: Kargaran, Amir Hossein, et al.
Publicado: (2025)
por: Kargaran, Amir Hossein, et al.
Publicado: (2025)
Reasoning to Learn from Latent Thoughts
por: Ruan, Yangjun, et al.
Publicado: (2025)
por: Ruan, Yangjun, et al.
Publicado: (2025)
Strengthening Programming Comprehension in Large Language Models through Code Generation
por: Ren, Xiaoning, et al.
Publicado: (2025)
por: Ren, Xiaoning, et al.
Publicado: (2025)
Test-Time Fairness and Robustness in Large Language Models
por: Cotta, Leonardo, et al.
Publicado: (2024)
por: Cotta, Leonardo, et al.
Publicado: (2024)
HarmoniFuse: A Component-Selective and Prompt-Adaptive Framework for Multi-Task Speech Language Modeling
por: Si, Yuke, et al.
Publicado: (2025)
por: Si, Yuke, et al.
Publicado: (2025)
SPML: A DSL for Defending Language Models Against Prompt Attacks
por: Sharma, Reshabh K, et al.
Publicado: (2024)
por: Sharma, Reshabh K, et al.
Publicado: (2024)
Mix-of-Language-Experts Architecture for Multilingual Programming
por: Zong, Yifan, et al.
Publicado: (2025)
por: Zong, Yifan, et al.
Publicado: (2025)
Using Code Snippets to Teach Programming Languages
por: Akingbade, Joshua, et al.
Publicado: (2025)
por: Akingbade, Joshua, et al.
Publicado: (2025)
A Brief Overview of the Pawns Programming Language
por: Naish, Lee
Publicado: (2024)
por: Naish, Lee
Publicado: (2024)
Compilation Semantics for a Programming Language with Versions
por: Tanabe, Yudai, et al.
Publicado: (2023)
por: Tanabe, Yudai, et al.
Publicado: (2023)
Leroy: Library Learning for Imperative Programming Languages
por: Bellur, Abhiram, et al.
Publicado: (2024)
por: Bellur, Abhiram, et al.
Publicado: (2024)
Programming Language Case Studies Can Be Deep
por: Bohrer, Rose
Publicado: (2024)
por: Bohrer, Rose
Publicado: (2024)
Partial Evaluation, Whole-Program Compilation
por: Fallin, Chris, et al.
Publicado: (2024)
por: Fallin, Chris, et al.
Publicado: (2024)
Ejemplares similares
-
Towards Repository-Level Program Verification with Large Language Models
por: Zhong, Si Cheng, et al.
Publicado: (2025) -
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
por: Dong, Honghua, et al.
Publicado: (2025) -
Observational Scaling Laws and the Predictability of Language Model Performance
por: Ruan, Yangjun, et al.
Publicado: (2024) -
Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
por: Zhang, Yihan, et al.
Publicado: (2026) -
PDL: A Declarative Prompt Programming Language
por: Vaziri, Mandana, et al.
Publicado: (2024)