Buchumschlag

Formally Certified Approximate Model Counting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tan, Yong Kiam, Yang, Jiong, Soos, Mate, Myreen, Magnus O., Meel, Kuldeep S.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

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

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
von: Anders, Markus, et al.
Veröffentlicht: (2025)

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

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

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

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

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

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

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

Formally Verified Approximate Policy Iteration
von: Schäffeler, Maximilian, et al.
Veröffentlicht: (2024)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
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)

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

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
von: Gruteser, Jan, et al.
Veröffentlicht: (2024)

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

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
von: Sarkar, Uddalok, et al.
Veröffentlicht: (2025)

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

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
von: Bryant, Randal E., et al.
Veröffentlicht: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
von: Wang, Ziyu, et al.
Veröffentlicht: (2025)

Deductive Systems for Logic Programs with Counting
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

On Formally Undecidable Traits of Intelligent Machines
von: Fox, Matthew
Veröffentlicht: (2024)

Rational Inference in Formal Concept Analysis
von: Carr, Lucas, et al.
Veröffentlicht: (2025)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
von: Foldvik, Simon
Veröffentlicht: (2026)

Approximation Fixpoint Theory with Refined Approximation Spaces
von: Vanbesien, Linde, et al.
Veröffentlicht: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
von: Florath, Andreas
Veröffentlicht: (2024)

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

Compilation and Fast Model Counting beyond CNF
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
von: Olson, Taylor
Veröffentlicht: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
von: Nikooroo, Saleh, et al.
Veröffentlicht: (2025)