:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kuhn, Martin, Grüger, Joscha, Matheja, Christoph, Rivkin, Andrey
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2406.11883
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

Probabilistic Programming with Programmable Variational Inference
von: Becker, McCoy R., et al.
Veröffentlicht: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2026)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

Leveraging Taxonomy Similarity for Next Activity Prediction in Patient Treatment
von: Kuhn, Martin, et al.
Veröffentlicht: (2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
von: Casas-Ramos, Jacobo, et al.
Veröffentlicht: (2025)

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

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

A Distribution Semantics for Probabilistic Term Rewriting
von: Vidal, Germán
Veröffentlicht: (2024)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
von: Elmaaroufi, Karim, et al.
Veröffentlicht: (2024)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
von: Wong, Lionel, et al.
Veröffentlicht: (2025)

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

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

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

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

Sharing State Between Prompts and Programs
von: Cheng, Ellie Y., et al.
Veröffentlicht: (2025)

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

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)

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

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

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

Soundness Correction of Data Petri Nets
von: Suvorov, Nikolai M., et al.
Veröffentlicht: (2024)

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

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

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

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

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
von: Brady, Seamus
Veröffentlicht: (2026)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
von: Zhang, William, et al.
Veröffentlicht: (2024)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
von: Xu, Shuyuan, 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)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
von: Rocha, Filipe Marinho, et al.
Veröffentlicht: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

The Elements of Differentiable Programming
von: Blondel, Mathieu, et al.
Veröffentlicht: (2024)

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
von: Wang, Bin, et al.
Veröffentlicht: (2024)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
von: Rustenholz, Louis, et al.
Veröffentlicht: (2024)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
von: Li, Zhening, et al.
Veröffentlicht: (2025)