Cover Image

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Singhvi, Arnav, Shetty, Manish, Tan, Shangyin, Potts, Christopher, Sen, Koushik, Zaharia, Matei, Khattab, Omar
Format:	Preprint
Published:	2023
Subjects:	Computation and Language Artificial Intelligence Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LangProBe: a Language Programs Benchmark
by: Tan, Shangyin, et al.
Published: (2025)

ARES: An Automated Evaluation Framework for Retrieval-Augmented Generation Systems
by: Saad-Falcon, Jon, et al.
Published: (2023)

Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs
by: Opsahl-Ong, Krista, et al.
Published: (2024)

GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
by: Agrawal, Lakshya A, et al.
Published: (2025)

Composing Policy Gradients and Prompt Optimization for Language Model Programs
by: Ziems, Noah, et al.
Published: (2025)

Drowning in Documents: Consequences of Scaling Reranker Inference
by: Jacob, Mathew, et al.
Published: (2024)

Fine-Tuning and Prompt Optimization: Two Great Steps that Work Better Together
by: Soylu, Dilara, et al.
Published: (2024)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
by: Shetty, Manish, et al.
Published: (2024)

Type-Constrained Code Generation with Language Models
by: Mündler, Niels, et al.
Published: (2025)

Can QPP Choose the Right Query Variant? Evaluating Query Variant Selection for RAG Pipelines
by: Arabzadeh, Negar, et al.
Published: (2026)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)

Open-World Assertion Checking for Smart Contracts via Game Semantics
by: Koutavas, Vasileios, et al.
Published: (2025)

Building Efficient and Effective OpenQA Systems for Low-Resource Languages
by: Budur, Emrah, et al.
Published: (2024)

SIEVE: Sample-Efficient Parametric Learning from Natural Language
by: Asawa, Parth, et al.
Published: (2026)

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
by: Menon, Anand, et al.
Published: (2025)

PROMPTEVALS: A Dataset of Assertions and Guardrails for Custom Production Large Language Model Pipelines
by: Vir, Reya, et al.
Published: (2025)

Long Context RAG Performance of Large Language Models
by: Leng, Quinn, et al.
Published: (2024)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
by: Elmaaroufi, Karim, et al.
Published: (2024)

LLM4Decompile: Decompiling Binary Code with Large Language Models
by: Tan, Hanzhuo, et al.
Published: (2024)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
by: Hu, Lifan
Published: (2025)

R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents
by: Jain, Naman, et al.
Published: (2025)

Recursive Language Models
by: Zhang, Alex L., et al.
Published: (2025)

Towards Computational UIP in Cubical Agda
by: Tan, Yee-Jian, et al.
Published: (2025)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents
by: Shetty, Manish, et al.
Published: (2025)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

Linear Constraints
by: Spiwack, Arnaud, et al.
Published: (2026)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
by: Zhao, Yifan, et al.
Published: (2026)

Refinement-Types Driven Development: A study
by: Domínguez, Facundo, et al.
Published: (2025)

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

In-Context Learning for Extreme Multi-Label Classification
by: D'Oosterlinck, Karel, et al.
Published: (2024)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
by: Vazquez-Chanlatte, Marcell, et al.
Published: (2024)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

OfficeQA Pro: An Enterprise Benchmark for End-to-End Grounded Reasoning
by: Opsahl-Ong, Krista, et al.
Published: (2026)

CCR 2.0: High-level Reasoning for Conditional Refinements
by: Song, Youngju, et al.
Published: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
by: Dane, Serra Z., et al.
Published: (2026)

pyeb: A Python Implementation of Event-B Refinement Calculus
by: Cataño, Néstor
Published: (2025)