Buchumschlag

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sarkar, Uddalok, Chakraborty, Sourav, Meel, Kuldeep S.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficient Volume Computation for SMT Formulas
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

A faster FPRAS for #NFA
von: Meel, Kuldeep S., et al.
Veröffentlicht: (2023)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
von: Juba, Brendan, et al.
Veröffentlicht: (2025)

On Lower Bounding Minimal Model Count
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Approximate SMT Counting Beyond Discrete Domains
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

Model Counting in the Wild
von: Shaw, Arijit, et al.
Veröffentlicht: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2024)

On Top-Down Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2025)

An Approximate Skolem Function Counter
von: Shaw, Arijit, et al.
Veröffentlicht: (2023)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

CNFs and DNFs with Exactly $k$ Solutions
von: Chandran, L. Sunil, et al.
Veröffentlicht: (2025)

Towards Practical Zero-Knowledge Proof for PSPACE
von: Karthikeyan, Ashwin, et al.
Veröffentlicht: (2025)

Towards Practical First-Order Model Counting
von: Kidambi, Ananth K., et al.
Veröffentlicht: (2025)

Counting and Sampling Traces in Regular Languages
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

Formally Certified Approximate Model Counting
von: Tan, Yong Kiam, et al.
Veröffentlicht: (2024)

Teaching Divisibility and Binomials with Coq
von: Boldo, Sylvie, et al.
Veröffentlicht: (2024)

Algorithms for Markov Binomial Chains
von: Gonzalez, Alejandro Alarcón, et al.
Veröffentlicht: (2024)

Are Large Random Graphs Always Safe to Hide?
von: Chakraborty, Sourav, et al.
Veröffentlicht: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
von: Zeyen, Olivier, et al.
Veröffentlicht: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
von: Yang, Jiong, et al.
Veröffentlicht: (2025)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
von: de Medeiros, Markus, et al.
Veröffentlicht: (2026)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
von: Różowski, Wojciech
Veröffentlicht: (2024)

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
von: Kundu, Atanu, et al.
Veröffentlicht: (2025)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling
von: Chakraborty, Pinaki, et al.
Veröffentlicht: (2025)

$ε$-Distance via Lévy-Prokhorov Lifting
von: Desharnais, Josée, et al.
Veröffentlicht: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

Drawing with Distance
von: Jacobs, Bart
Veröffentlicht: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)

Reasoning about Quality in Hyperproperties
von: Graepler, Samuel, et al.
Veröffentlicht: (2025)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
von: Şakar, Ömer, et al.
Veröffentlicht: (2026)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
von: D'Argenio, Pedro R., et al.
Veröffentlicht: (2025)

Formal Quality Measures for Predictors in Markov Decision Processes
von: Baier, Christel, et al.
Veröffentlicht: (2024)

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

A Categorical Semantics for Linear Logical Frameworks
von: Vákár, Matthijs
Veröffentlicht: (2015)