Buchumschlag

Bit Blasting Probabilistic Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Garg, Poorva, Holtzen, Steven, Broeck, Guy Van den, Millstein, Todd
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages G.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
von: Tjoa, Ryan, et al.
Veröffentlicht: (2025)

Probabilistic Programs of Thought
von: Garg, Poorva, et al.
Veröffentlicht: (2026)

Artifact for: Tuning Random Generators: Property-Based Testing as Probabilistic Programming
von: Tjoa, Ryan, et al.
Veröffentlicht: (2025)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
von: Yang, Tengshun, et al.
Veröffentlicht: (2024)

Scaling Optimization Over Uncertainty via Compilation
von: Cho, Minsung, et al.
Veröffentlicht: (2025)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
von: Zaiser, Fabian, et al.
Veröffentlicht: (2024)

A Nominal Approach to Probabilistic Separation Logic
von: Li, John M., et al.
Veröffentlicht: (2024)

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

TRACE Back from the Future: A Probabilistic Reasoning Approach to Controllable Language Generation
von: Weng, Gwen Yidou, et al.
Veröffentlicht: (2025)

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
von: Wu, Huiling, et al.
Veröffentlicht: (2023)

A Bayesian Approach to Membership Inference for Statistical Release
von: Oakley, Lisa, et al.
Veröffentlicht: (2026)

LLM-Based Config Synthesis requires Disambiguation
von: Mondal, Rajdeep, et al.
Veröffentlicht: (2025)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
von: Donyina, Adwoa, et al.
Veröffentlicht: (2025)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
von: Wang, Peixin, et al.
Veröffentlicht: (2025)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

Real-Time Probabilistic Programming
von: Hummelgren, Lars, et al.
Veröffentlicht: (2023)

A robust graph-based approach to observational equivalence
von: Ghica, Dan R., et al.
Veröffentlicht: (2019)

The pitfalls of verifying floating-point computations
von: Monniaux, David
Veröffentlicht: (2007)

Memory Consistency and Program Transformations
von: Gopalakrishnan, Akshay, et al.
Veröffentlicht: (2024)

Let's Take Esoteric Programming Languages Seriously
von: Singer, Jeremy, et al.
Veröffentlicht: (2025)

On the Relationship Between Monotone and Squared Probabilistic Circuits
von: Wang, Benjie, et al.
Veröffentlicht: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2026)

Sound Interval-Based Synthesis for Probabilistic Programs
von: Espada, Guilherme, et al.
Veröffentlicht: (2025)

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

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Enabling Autoregressive Models to Fill In Masked Tokens
von: Israel, Daniel, et al.
Veröffentlicht: (2025)

Simple Modal Types for Functional Reactive Programming
von: Bahr, Patrick
Veröffentlicht: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
von: Boreale, Michele, et al.
Veröffentlicht: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
von: Boreale, Michele, et al.
Veröffentlicht: (2026)

Minimum Cost Loop Nests for Contraction of a Sparse Tensor with a Tensor Network
von: Kanakagiri, Raghavendra, et al.
Veröffentlicht: (2023)

Accelerating Diffusion LLMs via Adaptive Parallel Decoding
von: Israel, Daniel, et al.
Veröffentlicht: (2025)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
von: Stassen, Philipp Jan Andries, et al.
Veröffentlicht: (2024)

Controllable Generation via Locally Constrained Resampling
von: Ahmed, Kareem, et al.
Veröffentlicht: (2024)

Modeling Probabilistic Reduction using Information Theory and Naive Discriminative Learning
von: Stein, Anna, et al.
Veröffentlicht: (2025)

Probabilistic Interval Analysis of Unreliable Programs
von: Das, Dibyendu, et al.
Veröffentlicht: (2024)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Automated Computer Program Evaluation and Projects -- Our Experiences
von: Srinivasan, Bama, et al.
Veröffentlicht: (2024)