Copertina

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sarkar, Uddalok, Chakraborty, Sourav, Meel, Kuldeep S.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Volume Computation for SMT Formulas
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

A faster FPRAS for #NFA
di: Meel, Kuldeep S., et al.
Pubblicazione: (2023)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

An ASP-Based Framework for MUSes
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
di: Juba, Brendan, et al.
Pubblicazione: (2025)

On Lower Bounding Minimal Model Count
di: Kabir, Mohimenul, et al.
Pubblicazione: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Approximate SMT Counting Beyond Discrete Domains
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

Model Counting in the Wild
di: Shaw, Arijit, et al.
Pubblicazione: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2024)

On Top-Down Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2025)

An Approximate Skolem Function Counter
di: Shaw, Arijit, et al.
Pubblicazione: (2023)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

CNFs and DNFs with Exactly $k$ Solutions
di: Chandran, L. Sunil, et al.
Pubblicazione: (2025)

Towards Practical Zero-Knowledge Proof for PSPACE
di: Karthikeyan, Ashwin, et al.
Pubblicazione: (2025)

Towards Practical First-Order Model Counting
di: Kidambi, Ananth K., et al.
Pubblicazione: (2025)

Counting and Sampling Traces in Regular Languages
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Formally Certified Approximate Model Counting
di: Tan, Yong Kiam, et al.
Pubblicazione: (2024)

Teaching Divisibility and Binomials with Coq
di: Boldo, Sylvie, et al.
Pubblicazione: (2024)

Algorithms for Markov Binomial Chains
di: Gonzalez, Alejandro Alarcón, et al.
Pubblicazione: (2024)

Are Large Random Graphs Always Safe to Hide?
di: Chakraborty, Sourav, et al.
Pubblicazione: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
di: Zeyen, Olivier, et al.
Pubblicazione: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
di: Yang, Jiong, et al.
Pubblicazione: (2025)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
di: de Medeiros, Markus, et al.
Pubblicazione: (2026)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
di: Różowski, Wojciech
Pubblicazione: (2024)

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
di: Kundu, Atanu, et al.
Pubblicazione: (2025)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling
di: Chakraborty, Pinaki, et al.
Pubblicazione: (2025)

$ε$-Distance via Lévy-Prokhorov Lifting
di: Desharnais, Josée, et al.
Pubblicazione: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
di: Turkenburg, Ruben, et al.
Pubblicazione: (2025)

Drawing with Distance
di: Jacobs, Bart
Pubblicazione: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
di: Bilotta, Antonella
Pubblicazione: (2025)

Reasoning about Quality in Hyperproperties
di: Graepler, Samuel, et al.
Pubblicazione: (2025)

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

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
di: Budde, Carlos E., et al.
Pubblicazione: (2024)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

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

Formal Quality Measures for Predictors in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2024)

A Program Instrumentation Framework for Automatic Verification
di: Amilon, Jesper, et al.
Pubblicazione: (2024)

A Categorical Semantics for Linear Logical Frameworks
di: Vákár, Matthijs
Pubblicazione: (2015)