Image de couverture de livre

Sound Interval-Based Synthesis for Probabilistic Programs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Espada, Guilherme, Fonseca, Alcides
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Probabilistic Interval Analysis of Unreliable Programs
par: Das, Dibyendu, et autres
Publié: (2024)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
par: Eriksson, Oscar, et autres
Publié: (2025)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
par: Kanda, Madhav, et autres
Publié: (2025)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Real-Time Probabilistic Programming
par: Hummelgren, Lars, et autres
Publié: (2023)

Probabilistic Programs of Thought
par: Garg, Poorva, et autres
Publié: (2026)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
par: Randone, Francesca, et autres
Publié: (2026)

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

Data-Driven Invariant Learning for Probabilistic Programs
par: Bao, Jialu, et autres
Publié: (2021)

Refuting Equivalence in Probabilistic Programs with Conditioning
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
par: Boreale, Michele, et autres
Publié: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
par: Boreale, Michele, et autres
Publié: (2026)

Bit Blasting Probabilistic Programs
par: Garg, Poorva, et autres
Publié: (2023)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
par: Geißler, Dominik, et autres
Publié: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
par: Lim, Sangho, et autres
Publié: (2025)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
par: Wang, Peixin, et autres
Publié: (2023)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
par: Böck, Markus, et autres
Publié: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
par: Lundén, Daniel, et autres
Publié: (2023)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
par: Amtoft, Torben, et autres
Publié: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
par: Krogstie, Håvard Rognebakke, et autres
Publié: (2025)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
par: Schröer, Philipp, et autres
Publié: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
par: Huot, Mathieu, et autres
Publié: (2024)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
par: Wong, Lionel, et autres
Publié: (2025)

Program Synthesis from Partial Traces
par: Ferreira, Margarida, et autres
Publié: (2025)

Active Learning for Neurosymbolic Program Synthesis
par: Barnaby, Celeste, et autres
Publié: (2025)

Cost-Driven Synthesis of Sound Abstract Interpreters
par: Gu, Qiuhan, et autres
Publié: (2025)

Probabilistic Programming with Programmable Variational Inference
par: Becker, McCoy R., et autres
Publié: (2024)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
par: Geißler, Dominik, et autres
Publié: (2025)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
par: Haase, Darion, et autres
Publié: (2026)

Data Petri Nets meet Probabilistic Programming (Extended version)
par: Kuhn, Martin, et autres
Publié: (2024)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
par: Smith, Gus Henry, et autres
Publié: (2024)

Template-based Program Synthesis using Stellensätze
par: Goharshady, Amir Kafshdar, et autres
Publié: (2022)

Going Bananas! - Unfolding Program Synthesis with Origami
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)