Salvato in:
| 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)
di: Tjoa, Ryan, et al.
Pubblicazione: (2025)
Bit Blasting Probabilistic Programs
di: Garg, Poorva, et al.
Pubblicazione: (2023)
di: Garg, Poorva, et al.
Pubblicazione: (2023)
Probabilistic Programs of Thought
di: Garg, Poorva, et al.
Pubblicazione: (2026)
di: Garg, Poorva, et al.
Pubblicazione: (2026)
On the Relationship Between Monotone and Squared Probabilistic Circuits
di: Wang, Benjie, et al.
Pubblicazione: (2024)
di: Wang, Benjie, et al.
Pubblicazione: (2024)
Rethinking Probabilistic Circuit Parameter Learning
di: Liu, Anji, et al.
Pubblicazione: (2025)
di: Liu, Anji, et al.
Pubblicazione: (2025)
Polynomial Semantics of Tractable Probabilistic Circuits
di: Broadrick, Oliver, et al.
Pubblicazione: (2024)
di: Broadrick, Oliver, et al.
Pubblicazione: (2024)
Scaling Up Probabilistic Circuits by Latent Variable Distillation
di: Liu, Anji, et al.
Pubblicazione: (2022)
di: Liu, Anji, et al.
Pubblicazione: (2022)
Scaling Tractable Probabilistic Circuits: A Systems Perspective
di: Liu, Anji, et al.
Pubblicazione: (2024)
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)
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)
di: Baiget, Annaëlle, et al.
Pubblicazione: (2026)
Mica: Automated Differential Testing for OCaml Modules
di: Ng, Ernest, et al.
Pubblicazione: (2024)
di: Ng, Ernest, et al.
Pubblicazione: (2024)
Restructuring Tractable Probabilistic Circuits
di: Zhang, Honghua, et al.
Pubblicazione: (2024)
di: Zhang, Honghua, et al.
Pubblicazione: (2024)
ProbMoE: Differentiable Probabilistic Routing for Mixture-of-Experts
di: Zhao, Heng, et al.
Pubblicazione: (2026)
di: Zhao, Heng, et al.
Pubblicazione: (2026)
The Search for Constrained Random Generators
di: Goldstein, Harrison, et al.
Pubblicazione: (2025)
di: Goldstein, Harrison, et al.
Pubblicazione: (2025)
Etna: An Evaluation Platform for Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)
di: Keles, Alperen, et al.
Pubblicazione: (2026)
Probabilistic Circuits for Cumulative Distribution Functions
di: Broadrick, Oliver, et al.
Pubblicazione: (2024)
di: Broadrick, Oliver, et al.
Pubblicazione: (2024)
Collapsed Inference for Bayesian Deep Learning
di: Zeng, Zhe, et al.
Pubblicazione: (2023)
di: Zeng, Zhe, et al.
Pubblicazione: (2023)
Fail Faster: Staging and Fast Randomness for High-Performance PBT
di: Richey, Cynthia, et al.
Pubblicazione: (2025)
di: Richey, Cynthia, et al.
Pubblicazione: (2025)
Algorithms for Optimizing Acyclic Queries
di: Luo, Zheng, et al.
Pubblicazione: (2025)
di: Luo, Zheng, et al.
Pubblicazione: (2025)
Eywa: Automating Model Based Testing using LLMs
di: Mondal, Rajdeep, et al.
Pubblicazione: (2023)
di: Mondal, Rajdeep, et al.
Pubblicazione: (2023)
Controllable Generation via Locally Constrained Resampling
di: Ahmed, Kareem, et al.
Pubblicazione: (2024)
di: Ahmed, Kareem, et al.
Pubblicazione: (2024)
Scaling Probabilistic Circuits via Monarch Matrices
di: Zhang, Honghua, et al.
Pubblicazione: (2025)
di: Zhang, Honghua, et al.
Pubblicazione: (2025)
Plug-and-Play Context Feature Reuse for Efficient Masked Generation
di: Liu, Xuejie, et al.
Pubblicazione: (2025)
di: Liu, Xuejie, et al.
Pubblicazione: (2025)
Zero-Variance Gradients for Variational Autoencoders
di: Shao, Zilei, et al.
Pubblicazione: (2025)
di: Shao, Zilei, et al.
Pubblicazione: (2025)
How to Marginalize in Causal Structure Learning?
di: Zhao, William, et al.
Pubblicazione: (2025)
di: Zhao, William, et al.
Pubblicazione: (2025)
Accelerating Diffusion LLMs via Adaptive Parallel Decoding
di: Israel, Daniel, et al.
Pubblicazione: (2025)
di: Israel, Daniel, et al.
Pubblicazione: (2025)
Enabling Autoregressive Models to Fill In Masked Tokens
di: Israel, Daniel, et al.
Pubblicazione: (2025)
di: Israel, Daniel, et al.
Pubblicazione: (2025)
Image Inpainting via Tractable Steering of Diffusion Models
di: Liu, Anji, et al.
Pubblicazione: (2023)
di: Liu, Anji, et al.
Pubblicazione: (2023)
Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)
di: Keles, Alperen, et al.
Pubblicazione: (2026)
Probabilistically Rewired Message-Passing Neural Networks
di: Qian, Chendi, et al.
Pubblicazione: (2023)
di: Qian, Chendi, et al.
Pubblicazione: (2023)
Deep Generative Models with Hard Linear Equality Constraints
di: Li, Ruoyan, et al.
Pubblicazione: (2025)
di: Li, Ruoyan, et al.
Pubblicazione: (2025)
Adversarial Tokenization
di: Geh, Renato Lui, et al.
Pubblicazione: (2025)
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)
di: Ahmed, Kareem, et al.
Pubblicazione: (2023)
Optimal Extended Formulations from Optimal Dynamic Programming Algorithms
di: Oliveira, Mateus de Oliveira, et al.
Pubblicazione: (2026)
di: Oliveira, Mateus de Oliveira, et al.
Pubblicazione: (2026)
DIRT: Database-Integrated Random Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)
di: Keles, Alperen, et al.
Pubblicazione: (2026)
LLM-Based Config Synthesis requires Disambiguation
di: Mondal, Rajdeep, et al.
Pubblicazione: (2025)
di: Mondal, Rajdeep, et al.
Pubblicazione: (2025)
Decision-Oriented Programming with Aporia
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2026)
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2026)
The Limits of Tractable Marginalization
di: Broadrick, Oliver, et al.
Pubblicazione: (2025)
di: Broadrick, Oliver, et al.
Pubblicazione: (2025)
Discrete Copula Diffusion
di: Liu, Anji, et al.
Pubblicazione: (2024)
di: Liu, Anji, et al.
Pubblicazione: (2024)
A Tractable Inference Perspective of Offline RL
di: Liu, Xuejie, et al.
Pubblicazione: (2023)
di: Liu, Xuejie, et al.
Pubblicazione: (2023)
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)