:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Zielinski, Laura, Hsu, Justin
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2604.15633
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bean: A Language for Backward Error Analysis
di: Kellison, Ariel E., et al.
Pubblicazione: (2025)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
di: Brahmakshatriya, Ajay, et al.
Pubblicazione: (2026)

Improving stableKanren's Backward Compatibility
di: Guo, Xiangyu, et al.
Pubblicazione: (2024)

Numerical Fuzz: A Type System for Rounding Error Analysis
di: Kellison, Ariel E., et al.
Pubblicazione: (2024)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
di: Frenkel, Eden, et al.
Pubblicazione: (2026)

A Hoare Logic for Symmetry Properties
di: Mehta, Vaibhav, et al.
Pubblicazione: (2025)

Small Reward Models via Backward Inference
di: Wang, Yike, et al.
Pubblicazione: (2026)

SafeTree: Expressive Tree Policies for Microservices
di: Grewal, Karuna, et al.
Pubblicazione: (2025)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
di: Oakley, Lisa, et al.
Pubblicazione: (2024)

Backward Responsibility in Transition Systems Beyond Safety
di: Baier, Christel, et al.
Pubblicazione: (2025)

Synthesizing Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2023)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
di: Aguirre, Alejandro, et al.
Pubblicazione: (2024)

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

Data-Driven Invariant Learning for Probabilistic Programs
di: Bao, Jialu, et al.
Pubblicazione: (2021)

Synthesizing JSON Schema Transformers
di: Stanek, Jack, et al.
Pubblicazione: (2024)

Generative Explanations for Program Synthesizers
di: Nazari, Amirmohammad, et al.
Pubblicazione: (2024)

Backward Responsibility in Transition Systems Using General Power Indices
di: Baier, Christel, et al.
Pubblicazione: (2024)

BAR: A Backward Reasoning based Agent for Complex Minecraft Tasks
di: Du, Weihong, et al.
Pubblicazione: (2025)

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning
di: Lee, Jinu, et al.
Pubblicazione: (2024)

Synthesizing Trajectory Queries from Examples
di: Mell, Stephen, et al.
Pubblicazione: (2026)

LOUD: Synthesizing Strongest and Weakest Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2024)

Backward Lens: Projecting Language Model Gradients into the Vocabulary Space
di: Katz, Shahar, et al.
Pubblicazione: (2024)

Forward-Backward Reasoning in Large Language Models for Mathematical Verification
di: Jiang, Weisen, et al.
Pubblicazione: (2023)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
di: Liu, Max, et al.
Pubblicazione: (2024)

Synthesizing DSLs for Few-Shot Learning
di: Krogmeier, Paul, et al.
Pubblicazione: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
di: Kalita, Pankaj Kumar, et al.
Pubblicazione: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
di: Liu, Zhengyang, et al.
Pubblicazione: (2023)

Synthesizing Formal Semantics from Executable Interpreters
di: Liu, Jiangyi, et al.
Pubblicazione: (2024)

Structured Backward Error for the WKB method
di: Corless, Robert M., et al.
Pubblicazione: (2024)

BeLLM: Backward Dependency Enhanced Large Language Model for Sentence Embeddings
di: Li, Xianming, et al.
Pubblicazione: (2023)

An International Training Program in Library and Information Science: Looking Backward and Forward
di: Nieuwenhuysen, Paul
Pubblicazione: (2011)

On Fine-Grained I/O Complexity of Attention Backward Passes
di: Li, Xiaoyu, et al.
Pubblicazione: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
di: Mukherjee, Prasita, et al.
Pubblicazione: (2024)

TABES: Trajectory-Aware Backward-on-Entropy Steering for Masked Diffusion Models
di: Saini, Shreshth, et al.
Pubblicazione: (2026)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)

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

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

A Variational Equation and Lower Bound for the Linear Least-Squares Backward Error
di: Hallman, Eric
Pubblicazione: (2026)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
di: He, Yang, et al.
Pubblicazione: (2025)