Cover Image

Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Glenn, Parker, Samuel, Alfy, Liu, Daben
Format:	Preprint
Published:	2025
Subjects:	Computation and Language Artificial Intelligence Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Readability Reconsidered: A Cross-Dataset Analysis of Reference-Free Metrics
by: Belem, Catarina G, et al.
Published: (2025)

FB-RAG: Improving RAG with Forward and Backward Lookup
by: Chawla, Kushal, et al.
Published: (2025)

Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems
by: Lee, Alexander W., et al.
Published: (2025)

A Comparison of Independent and Joint Fine-tuning Strategies for Retrieval-Augmented Generation
by: Lawton, Neal Gregory, et al.
Published: (2025)

Semantic Operators: A Declarative Model for Rich, AI-based Data Processing
by: Patel, Liana, et al.
Published: (2024)

TARGET: Benchmarking Table Retrieval for Generative Tasks
by: Ji, Xingyu, et al.
Published: (2025)

Alignment-Weighted DPO: A principled reasoning approach to improve safety alignment
by: Hu, Mengxuan, et al.
Published: (2026)

A Declarative System for Optimizing AI Workloads
by: Liu, Chunwei, et al.
Published: (2024)

Improving Consistency in Retrieval-Augmented Systems with Group Similarity Rewards
by: Hamman, Faisal, et al.
Published: (2025)

Graph Query Generation with Constraint-guided Large Language Agents
by: Wang, Mengying, et al.
Published: (2026)

MultiVis-Agent: A Multi-Agent Framework with Logic Rules for Reliable and Comprehensive Cross-Modal Data Visualization
by: Lu, Jinwei, et al.
Published: (2026)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

Database Normalization via Dual-LLM Self-Refinement
by: Jo, Eunjae, et al.
Published: (2025)

An LLM-Based Approach for Insight Generation in Data Analysis
by: Pérez, Alberto Sánchez, et al.
Published: (2025)

Enabling LLM Knowledge Analysis via Extensive Materialization
by: Hu, Yujia, et al.
Published: (2024)

Making Prompts First-Class Citizens for Adaptive LLM Pipelines
by: Cetintemel, Ugur, et al.
Published: (2025)

LLM-assisted Knowledge Graph Engineering: Experiments with ChatGPT
by: Meyer, Lars-Peter, et al.
Published: (2023)

Beyond Linear LLM Invocation: An Efficient and Effective Semantic Filter Paradigm
by: Hou, Nan, et al.
Published: (2026)

DataLab: A Unified Platform for LLM-Powered Business Intelligence
by: Weng, Luoxuan, et al.
Published: (2024)

SQLfuse: Enhancing Text-to-SQL Performance through Comprehensive LLM Synergy
by: Zhang, Tingkai, et al.
Published: (2024)

Next-Generation Database Interfaces: A Survey of LLM-based Text-to-SQL
by: Hong, Zijin, et al.
Published: (2024)

StorageXTuner: An LLM Agent-Driven Automatic Tuning Framework for Heterogeneous Storage Systems
by: Lin, Qi, et al.
Published: (2025)

Leveraging LLM-GNN Integration for Open-World Question Answering over Knowledge Graphs
by: Abdallah, Hussein, et al.
Published: (2026)

ClaimPKG: Enhancing Claim Verification via Pseudo-Subgraph Generation with Lightweight Specialized LLM
by: Pham, Hoang, et al.
Published: (2025)

LLM-KG-Bench 3.0: A Compass for SemanticTechnology Capabilities in the Ocean of LLMs
by: Meyer, Lars-Peter, et al.
Published: (2025)

LLM and Agent-Driven Data Analysis: A Systematic Approach for Enterprise Applications and System-level Deployment
by: Wang, Xi, et al.
Published: (2025)

CypherBench: Towards Precise Retrieval over Full-scale Modern Knowledge Graphs in the LLM Era
by: Feng, Yanlin, et al.
Published: (2024)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
by: Xie, Xudong, et al.
Published: (2026)

Multi-Meta-RAG: Improving RAG for Multi-Hop Queries using Database Filtering with LLM-Extracted Metadata
by: Poliakov, Mykhailo, et al.
Published: (2024)

Credo: Declarative Control of LLM Pipelines via Beliefs and Policies
by: Lu, Duo, et al.
Published: (2026)

GaussMaster: An LLM-based Database Copilot System
by: Zhou, Wei, et al.
Published: (2025)

EPI-SQL: Enhancing Text-to-SQL Translation with Error-Prevention Instructions
by: Liu, Xiping, et al.
Published: (2024)

Chain-of-Query: Unleashing the Power of LLMs in SQL-Aided Table Understanding via Multi-Agent Collaboration
by: Sui, Songyuan, et al.
Published: (2025)

LLM-Enhanced Data Management
by: Zhou, Xuanhe, et al.
Published: (2024)

Schema Lineage Extraction at Scale: Multilingual Pipelines, Composite Evaluation, and Language-Model Benchmarks
by: Yin, Jiaqi, et al.
Published: (2025)

Towards Improving Interpretability of Language Model Generation through a Structured Knowledge Discovery Approach
by: Liu, Shuqi, et al.
Published: (2025)

Enhancing Knowledge Graph Completion with Entity Neighborhood and Relation Context
by: Chen, Jianfang, et al.
Published: (2025)

Sonar-TS: Search-Then-Verify Natural Language Querying for Time Series Databases
by: Tan, Zhao, et al.
Published: (2026)

PersonalHomeBench: Evaluating Agents in Personalized Smart Homes
by: Bharadwaj, Manasa, et al.
Published: (2026)

KBQA-o1: Agentic Knowledge Base Question Answering with Monte Carlo Tree Search
by: Luo, Haoran, et al.
Published: (2025)