Buchumschlag

Synthesizing Backward Error Bounds, Backward

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zielinski, Laura, Hsu, Justin
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bean: A Language for Backward Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2025)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
von: Brahmakshatriya, Ajay, et al.
Veröffentlicht: (2026)

Improving stableKanren's Backward Compatibility
von: Guo, Xiangyu, et al.
Veröffentlicht: (2024)

Numerical Fuzz: A Type System for Rounding Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2024)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
von: Frenkel, Eden, et al.
Veröffentlicht: (2026)

A Hoare Logic for Symmetry Properties
von: Mehta, Vaibhav, et al.
Veröffentlicht: (2025)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
von: Oakley, Lisa, et al.
Veröffentlicht: (2024)

SafeTree: Expressive Tree Policies for Microservices
von: Grewal, Karuna, et al.
Veröffentlicht: (2025)

Small Reward Models via Backward Inference
von: Wang, Yike, et al.
Veröffentlicht: (2026)

Synthesizing Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2023)

Backward Responsibility in Transition Systems Beyond Safety
von: Baier, Christel, et al.
Veröffentlicht: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
von: Aguirre, Alejandro, et al.
Veröffentlicht: (2024)

Data-Driven Invariant Learning for Probabilistic Programs
von: Bao, Jialu, et al.
Veröffentlicht: (2021)

Synthesizing JSON Schema Transformers
von: Stanek, Jack, et al.
Veröffentlicht: (2024)

Generative Explanations for Program Synthesizers
von: Nazari, Amirmohammad, et al.
Veröffentlicht: (2024)

Synthesizing Trajectory Queries from Examples
von: Mell, Stephen, et al.
Veröffentlicht: (2026)

LOUD: Synthesizing Strongest and Weakest Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2024)

FB-RAG: Improving RAG with Forward and Backward Lookup
von: Chawla, Kushal, et al.
Veröffentlicht: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
von: Kalita, Pankaj Kumar, et al.
Veröffentlicht: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
von: Liu, Zhengyang, et al.
Veröffentlicht: (2023)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

BAR: A Backward Reasoning based Agent for Complex Minecraft Tasks
von: Du, Weihong, et al.
Veröffentlicht: (2025)

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning
von: Lee, Jinu, et al.
Veröffentlicht: (2024)

Backward Responsibility in Transition Systems Using General Power Indices
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
von: Peng, Xuanyu, et al.
Veröffentlicht: (2025)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
von: Liu, Max, et al.
Veröffentlicht: (2024)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
von: He, Yang, et al.
Veröffentlicht: (2025)

An International Training Program in Library and Information Science: Looking Backward and Forward
von: Nieuwenhuysen, Paul
Veröffentlicht: (2011)

Backward Lens: Projecting Language Model Gradients into the Vocabulary Space
von: Katz, Shahar, et al.
Veröffentlicht: (2024)

Forward-Backward Reasoning in Large Language Models for Mathematical Verification
von: Jiang, Weisen, et al.
Veröffentlicht: (2023)

BeLLM: Backward Dependency Enhanced Large Language Model for Sentence Embeddings
von: Li, Xianming, et al.
Veröffentlicht: (2023)

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)

Structured Backward Error for the WKB method
von: Corless, Robert M., et al.
Veröffentlicht: (2024)

On Fine-Grained I/O Complexity of Attention Backward Passes
von: Li, Xiaoyu, et al.
Veröffentlicht: (2024)

From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
von: Li, Qingchuan, et al.
Veröffentlicht: (2025)

Type-Error Ablation and AI Coding Agents
von: Krishnamurthi, Shriram, et al.
Veröffentlicht: (2026)

Privacy-Respecting Type Error Telemetry at Scale
von: Greenman, Ben, et al.
Veröffentlicht: (2024)