Cover Image

Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Plambeck, Swantje, Salamati, Ali, Huellermeier, Eyke, Fey, Goerschwin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Flowcean - Model Learning for Cyber-Physical Systems
by: Schmidt, Maximilian, et al.
Published: (2026)

Regret-Free Reinforcement Learning for LTL Specifications
by: Majumdar, Rupak, et al.
Published: (2024)

Confidence Optimization for Probabilistic Encoding
by: Xia, Pengjiu, et al.
Published: (2025)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
by: Mao, Zhenjiang, et al.
Published: (2025)

Reasoning or Fluency? Dissecting Probabilistic Confidence in Best-of-N Selection
by: Kim, Hojin, et al.
Published: (2026)

Conservative Prediction via Data-Driven Confidence Minimization
by: Choi, Caroline, et al.
Published: (2023)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Evaluating Human and Machine Confidence in Phishing Email Detection: A Comparative Study
by: Jain, Paras, et al.
Published: (2026)

Transductive Confidence Machine and its application to Medical Data Sets
by: Lindsay, David
Published: (2024)

On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems
by: Gilio, Angelo, et al.
Published: (2023)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

Robust Plan Evaluation based on Approximate Probabilistic Machine Learning
by: Kamali, Amin, et al.
Published: (2024)

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning
by: Bao, Qiming, et al.
Published: (2023)

shapiq: Shapley Interactions for Machine Learning
by: Muschalik, Maximilian, et al.
Published: (2024)

PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains
by: Leang, Joshua Ong Jun, et al.
Published: (2025)

AST-PAC: AST-guided Membership Inference for Code
by: Koohestani, Roham, et al.
Published: (2026)

Probabilistic Strategy Logic with Degrees of Observability
by: Mu, Chunyan, et al.
Published: (2024)

CRPO: Confidence-Reward Driven Preference Optimization for Machine Translation
by: Cui, Guofeng, et al.
Published: (2025)

Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
by: Xia, Yuan, et al.
Published: (2025)

Demystifying Data-Driven Probabilistic Medium-Range Weather Forecasting
by: Kossaifi, Jean, et al.
Published: (2026)

Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules
by: Feldstein, Jonathan, et al.
Published: (2024)

Anytime Safe PAC Efficient Reasoning
by: Yu, Chengyao, et al.
Published: (2026)

PAC-BENCH: Evaluating Multi-Agent Collaboration under Privacy Constraints
by: Park, Minjun, et al.
Published: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
by: Sun, Fengsong, et al.
Published: (2024)

Overconfidence in LLM-as-a-Judge: Diagnosis and Confidence-Driven Solution
by: Tian, Zailong, et al.
Published: (2025)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
by: Lazzari, Nicolas, et al.
Published: (2026)

HyPAC: Cost-Efficient LLMs-Human Hybrid Annotation with PAC Error Guarantees
by: Zeng, Hao, et al.
Published: (2026)

Teaching Probabilistic Logical Reasoning to Transformers
by: Nafar, Aliakbar, et al.
Published: (2023)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
by: Hillerstrom, Fieke, et al.
Published: (2024)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
by: Verreet, Victor, et al.
Published: (2024)

Pairwise Difference Learning for Classification
by: Belaid, Mohamed Karim, et al.
Published: (2024)

Probabilistic Tiny Recursive Model
by: Sghaier, Amin, et al.
Published: (2026)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

ALPBench: A Benchmark for Active Learning Pipelines on Tabular Data
by: Margraf, Valentin, et al.
Published: (2024)

LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks
by: Zeng, Yucheng, et al.
Published: (2026)

PAC Privacy Preserving Diffusion Models
by: Xu, Qipan, et al.
Published: (2023)

Effectful Mealy Machines
by: Bonchi, Filippo, et al.
Published: (2024)

High-Resolution Probabilistic Data-Driven Weather Modeling with a Stretched-Grid
by: Nordhagen, Even Marius, et al.
Published: (2025)