Copertina

Inference Plans for Hybrid Particle Filtering

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cheng, Ellie Y., Atkinson, Eric, Baudart, Guillaume, Mandel, Louis, Carbin, Michael
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

AutoPDL: Automatic Prompt Optimization for LLM Agents
di: Spiess, Claudio, et al.
Pubblicazione: (2025)

Insights from the Usage of the Ansible Lightspeed Code Completion Service
di: Sahoo, Priyam, et al.
Pubblicazione: (2024)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
di: Rak-amnouykit, Ingkarat, et al.
Pubblicazione: (2024)

Representing Prompting Patterns with PDL: Compliance Agent Case Study
di: Vaziri, Mandana, et al.
Pubblicazione: (2025)

Planned Diffusion
di: Israel, Daniel, et al.
Pubblicazione: (2025)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
di: Liang, Eric
Pubblicazione: (2026)

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

FuzzyLogic.jl: a Flexible Library for Efficient and Productive Fuzzy Inference
di: Ferranti, Luca, et al.
Pubblicazione: (2023)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
di: Li, Minda, et al.
Pubblicazione: (2026)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
di: Ji, Zhenlan, et al.
Pubblicazione: (2024)

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

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
di: Tang, Weizhi, et al.
Pubblicazione: (2025)

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

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

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

Futureproof Static Memory Planning
di: Lamprakos, Christos, et al.
Pubblicazione: (2025)

BODHI: Precise OS Kernel Specification Inference
di: Chang, Zhiming, et al.
Pubblicazione: (2026)

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

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

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
di: Dong, Honghua, et al.
Pubblicazione: (2025)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
di: Viennot, Jules, et al.
Pubblicazione: (2025)

Can Language Models Solve Olympiad Programming?
di: Shi, Quan, et al.
Pubblicazione: (2024)

Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
di: Zhang, Yinger, et al.
Pubblicazione: (2023)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
di: Armengol-Estapé, Jordi, et al.
Pubblicazione: (2023)

Out-of-Context Abduction: LLMs Make Inferences About Procedural Data Leveraging Declarative Facts in Earlier Training Data
di: Imran, Sohaib, 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)

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

FreshStack: Building Realistic Benchmarks for Evaluating Retrieval on Technical Documents
di: Thakur, Nandan, et al.
Pubblicazione: (2025)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
di: Yuan, Charles, et al.
Pubblicazione: (2023)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
di: Chen, ZhenDong, et al.
Pubblicazione: (2025)

How Do Language Models Compose Functions?
di: Khandelwal, Apoorv, et al.
Pubblicazione: (2025)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
di: Zhang, Huan, et al.
Pubblicazione: (2026)

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

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

A Distribution Semantics for Probabilistic Term Rewriting
di: Vidal, Germán
Pubblicazione: (2024)

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
di: Lin, Zhenru, et al.
Pubblicazione: (2024)

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
di: Wang, Bin, et al.
Pubblicazione: (2024)