Buchumschlag

Inference Plans for Hybrid Particle Filtering

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cheng, Ellie Y., Atkinson, Eric, Baudart, Guillaume, Mandel, Louis, Carbin, Michael
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

AutoPDL: Automatic Prompt Optimization for LLM Agents
von: Spiess, Claudio, et al.
Veröffentlicht: (2025)

Insights from the Usage of the Ansible Lightspeed Code Completion Service
von: Sahoo, Priyam, et al.
Veröffentlicht: (2024)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
von: Rak-amnouykit, Ingkarat, et al.
Veröffentlicht: (2024)

Representing Prompting Patterns with PDL: Compliance Agent Case Study
von: Vaziri, Mandana, et al.
Veröffentlicht: (2025)

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

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

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

FuzzyLogic.jl: a Flexible Library for Efficient and Productive Fuzzy Inference
von: Ferranti, Luca, et al.
Veröffentlicht: (2023)

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

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
von: Ji, Zhenlan, et al.
Veröffentlicht: (2024)

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

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
von: Tang, Weizhi, et al.
Veröffentlicht: (2025)

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)

EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
von: Matricon, Théo, et al.
Veröffentlicht: (2024)

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

Futureproof Static Memory Planning
von: Lamprakos, Christos, et al.
Veröffentlicht: (2025)

BODHI: Precise OS Kernel Specification Inference
von: Chang, Zhiming, et al.
Veröffentlicht: (2026)

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

LightCode: Compiling LLM Inference for Photonic-Electronic Systems
von: Tomich, Ryan, et al.
Veröffentlicht: (2025)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
von: Dong, Honghua, et al.
Veröffentlicht: (2025)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
von: Viennot, Jules, et al.
Veröffentlicht: (2025)

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

Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
von: Zhang, Yinger, et al.
Veröffentlicht: (2023)

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

Out-of-Context Abduction: LLMs Make Inferences About Procedural Data Leveraging Declarative Facts in Earlier Training Data
von: Imran, Sohaib, et al.
Veröffentlicht: (2025)

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

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
von: Cao, Jialun, et al.
Veröffentlicht: (2025)

FreshStack: Building Realistic Benchmarks for Evaluating Retrieval on Technical Documents
von: Thakur, Nandan, et al.
Veröffentlicht: (2025)

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

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

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
von: Chen, ZhenDong, et al.
Veröffentlicht: (2025)

How Do Language Models Compose Functions?
von: Khandelwal, Apoorv, et al.
Veröffentlicht: (2025)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
von: Zhang, Huan, et al.
Veröffentlicht: (2026)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
von: Lang, Nguyet-Anh H., et al.
Veröffentlicht: (2026)

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

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

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
von: Lin, Zhenru, 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)