Cover Image

Artifact for: Tuning Random Generators: Property-Based Testing as Probabilistic Programming

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Tjoa, Ryan, Garg, Poorva, Goldstein, Harrison, Millstein, Todd, Pierce, Benjamin, Van den Broeck, Guy
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
by: Tjoa, Ryan, et al.
Published: (2025)

Bit Blasting Probabilistic Programs
by: Garg, Poorva, et al.
Published: (2023)

Probabilistic Programs of Thought
by: Garg, Poorva, et al.
Published: (2026)

On the Relationship Between Monotone and Squared Probabilistic Circuits
by: Wang, Benjie, et al.
Published: (2024)

Rethinking Probabilistic Circuit Parameter Learning
by: Liu, Anji, et al.
Published: (2025)

Polynomial Semantics of Tractable Probabilistic Circuits
by: Broadrick, Oliver, et al.
Published: (2024)

Scaling Up Probabilistic Circuits by Latent Variable Distillation
by: Liu, Anji, et al.
Published: (2022)

Scaling Tractable Probabilistic Circuits: A Systems Perspective
by: Liu, Anji, et al.
Published: (2024)

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

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
by: Baiget, Annaëlle, et al.
Published: (2026)

Mica: Automated Differential Testing for OCaml Modules
by: Ng, Ernest, et al.
Published: (2024)

Restructuring Tractable Probabilistic Circuits
by: Zhang, Honghua, et al.
Published: (2024)

ProbMoE: Differentiable Probabilistic Routing for Mixture-of-Experts
by: Zhao, Heng, et al.
Published: (2026)

The Search for Constrained Random Generators
by: Goldstein, Harrison, et al.
Published: (2025)

Etna: An Evaluation Platform for Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

Probabilistic Circuits for Cumulative Distribution Functions
by: Broadrick, Oliver, et al.
Published: (2024)

Collapsed Inference for Bayesian Deep Learning
by: Zeng, Zhe, et al.
Published: (2023)

Fail Faster: Staging and Fast Randomness for High-Performance PBT
by: Richey, Cynthia, et al.
Published: (2025)

Algorithms for Optimizing Acyclic Queries
by: Luo, Zheng, et al.
Published: (2025)

Eywa: Automating Model Based Testing using LLMs
by: Mondal, Rajdeep, et al.
Published: (2023)

Controllable Generation via Locally Constrained Resampling
by: Ahmed, Kareem, et al.
Published: (2024)

Scaling Probabilistic Circuits via Monarch Matrices
by: Zhang, Honghua, et al.
Published: (2025)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

Plug-and-Play Context Feature Reuse for Efficient Masked Generation
by: Liu, Xuejie, et al.
Published: (2025)

Zero-Variance Gradients for Variational Autoencoders
by: Shao, Zilei, et al.
Published: (2025)

How to Marginalize in Causal Structure Learning?
by: Zhao, William, et al.
Published: (2025)

Accelerating Diffusion LLMs via Adaptive Parallel Decoding
by: Israel, Daniel, et al.
Published: (2025)

Enabling Autoregressive Models to Fill In Masked Tokens
by: Israel, Daniel, et al.
Published: (2025)

Image Inpainting via Tractable Steering of Diffusion Models
by: Liu, Anji, et al.
Published: (2023)

Probabilistically Rewired Message-Passing Neural Networks
by: Qian, Chendi, et al.
Published: (2023)

Deep Generative Models with Hard Linear Equality Constraints
by: Li, Ruoyan, et al.
Published: (2025)

Optimal Extended Formulations from Optimal Dynamic Programming Algorithms
by: Oliveira, Mateus de Oliveira, et al.
Published: (2026)

DIRT: Database-Integrated Random Testing
by: Keles, Alperen, et al.
Published: (2026)

Adversarial Tokenization
by: Geh, Renato Lui, et al.
Published: (2025)

A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints
by: Ahmed, Kareem, et al.
Published: (2023)

LLM-Based Config Synthesis requires Disambiguation
by: Mondal, Rajdeep, et al.
Published: (2025)

Decision-Oriented Programming with Aporia
by: Kasibatla, Saketh Ram, et al.
Published: (2026)

The Land Is Our Community
by: Millstein, Roberta L
Published: (2024)

The Limits of Tractable Marginalization
by: Broadrick, Oliver, et al.
Published: (2025)

Discrete Copula Diffusion
by: Liu, Anji, et al.
Published: (2024)