Image de couverture de livre

Hypothetical answers to continuous queries over data streams

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cruz-Filipe, Luís, Gaspar, Graça, Nunes, Isabel
Format:	Preprint
Publié:	2019
Sujets:	Programming Languages Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Sequential composition of answer set programs
par: Antić, Christian
Publié: (2021)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
par: Rocha, Filipe Marinho, et autres
Publié: (2024)

Chart-HQA: A Benchmark for Hypothetical Question Answering in Charts
par: Chen, Xiangnan, et autres
Publié: (2025)

Spoken question answering for visual queries
par: Shabtay, Nimrod, et autres
Publié: (2025)

From RAGs to rich parameters: Probing how language models utilize external knowledge over parametric information for factual queries
par: Wadhwa, Hitesh, et autres
Publié: (2024)

Beyond the limitation of a single query: Train your LLM for query expansion with Reinforcement Learning
par: Zhao, Shu, et autres
Publié: (2025)

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
par: Qiu, Lei, et autres
Publié: (2026)

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
par: Bembenek, Aaron
Publié: (2025)

Scalable Floating-Point Satisfiability via Staged Optimization
par: Zhang, Yuanzhuo, et autres
Publié: (2026)

JTON: A Token-Efficient JSON Superset with Zen Grid Tabular Encoding for Large Language Models
par: Nandakishore, Gowthamkumar
Publié: (2026)

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
par: de la Torre, Jordi
Publié: (2025)

Provable Coordination for LLM Agents via Message Sequence Charts
par: Bollig, Benedikt, et autres
Publié: (2026)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
par: Li, Minda, et autres
Publié: (2026)

Towards representation agnostic probabilistic programming
par: Fenske, Ole, et autres
Publié: (2025)

CSSG: Measuring Code Similarity with Semantic Graphs
par: Lu, Yiyang, et autres
Publié: (2026)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
par: He, Mengting, et autres
Publié: (2026)

Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system
par: Nongkhai, Lalita Na, et autres
Publié: (2026)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
par: Laurent, Jonathan, et autres
Publié: (2025)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
par: Bayazıt, Barış, et autres
Publié: (2025)

MHRC-Bench: A Multilingual Hardware Repository-Level Code Completion benchmark
par: Zou, Qingyun, et autres
Publié: (2026)

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
par: Xu, Xu, et autres
Publié: (2025)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
par: Armengol-Estapé, Jordi, et autres
Publié: (2023)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
par: Rustenholz, Louis, et autres
Publié: (2024)

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)

SGLang: Efficient Execution of Structured Language Model Programs
par: Zheng, Lianmin, et autres
Publié: (2023)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
par: Ji, Zhenlan, et autres
Publié: (2024)

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

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
par: Rossi, Roberto, et autres
Publié: (2026)

A Distribution Semantics for Probabilistic Term Rewriting
par: Vidal, Germán
Publié: (2024)

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
par: Lin, Zhenru, et autres
Publié: (2024)

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
par: Wang, Bin, et autres
Publié: (2024)

BetterV: Controlled Verilog Generation with Discriminative Guidance
par: Pei, Zehua, et autres
Publié: (2024)

Sharing State Between Prompts and Programs
par: Cheng, Ellie Y., et autres
Publié: (2025)

Inference Plans for Hybrid Particle Filtering
par: Cheng, Ellie Y., et autres
Publié: (2024)

Relational Programming with Foundation Models
par: Li, Ziyang, et autres
Publié: (2024)

Data Petri Nets meet Probabilistic Programming (Extended version)
par: Kuhn, Martin, et autres
Publié: (2024)

Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
par: Absar, Mohammed Javed, et autres
Publié: (2026)

CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization
par: Zhao, Yang, et autres
Publié: (2024)

ZeroML: A Next Generation AutoML Language
par: Mahmud, Monirul Islam
Publié: (2025)