:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Tjoa, Ryan, Garg, Poorva, Goldstein, Harrison, Millstein, Todd, Pierce, Benjamin, Van den Broeck, Guy
Natura:	Recurso digital
Lingua:
Pubblicazione:	Zenodo 2025
Accesso online:	https://doi.org/10.5281/zenodo.16868014
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Bit Blasting Probabilistic Programs
di: Garg, Poorva, et al.
Pubblicazione: (2023)

Probabilistic Programs of Thought
di: Garg, Poorva, et al.
Pubblicazione: (2026)

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

Rethinking Probabilistic Circuit Parameter Learning
di: Liu, Anji, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

Restructuring Tractable Probabilistic Circuits
di: Zhang, Honghua, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

Algorithms for Optimizing Acyclic Queries
di: Luo, Zheng, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

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

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

Adversarial Tokenization
di: Geh, Renato Lui, et al.
Pubblicazione: (2025)

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

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

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

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

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

The Limits of Tractable Marginalization
di: Broadrick, Oliver, et al.
Pubblicazione: (2025)

Discrete Copula Diffusion
di: Liu, Anji, et al.
Pubblicazione: (2024)

A Tractable Inference Perspective of Offline RL
di: Liu, Xuejie, et al.
Pubblicazione: (2023)