Zobrazeno 1 - 10
of 459
pro vyhledávání: '"68T27"'
Autor:
Koponen, Vera, Tousinejad, Yasmin
We consider a sequence $\mathbf{T} = (\mathcal{T}_n : n \in \mathbb{N}^+)$ of trees $\mathcal{T}_n$ where, for some $\Delta \in \mathbb{N}^+$ every $\mathcal{T}_n$ has height at most $\Delta$ and as $n \to \infty$ the minimal number of children of a
Externí odkaz:
http://arxiv.org/abs/2410.11775
Autor:
Krapp, Lothar Sebastian, Wirth, Laura
The Fundamental Theorem of Statistical Learning states that a hypothesis space is PAC learnable if and only if its VC dimension is finite. For the agnostic model of PAC learning, the literature so far presents proofs of this theorem that often tacitl
Externí odkaz:
http://arxiv.org/abs/2410.10243
In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to captu
Externí odkaz:
http://arxiv.org/abs/2409.09069
Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently questioned: more and more often events are not traced explicitly, but are
Externí odkaz:
http://arxiv.org/abs/2406.12078
Autor:
Guo, Xiangyu, Bansal, Ajay
We improve the backward compatibility of stableKanren to run miniKanren programs. stableKanren is a miniKanren extension capable of non-monotonic reasoning through stable model semantics. However, standard miniKanren programs that produce infinite re
Externí odkaz:
http://arxiv.org/abs/2408.16257
Autor:
Guo, Xiangyu, Bansal, Ajay
We integrate integrity constraints to stableKanren to enable a new problem-solving paradigm in combinatorial search problems. stableKanren extends miniKanren to reasoning about contradictions under stable model semantics. However, writing programs to
Externí odkaz:
http://arxiv.org/abs/2408.16699
Autor:
Lu, Chenguang
The Variational Bayesian method (VB) is used to solve the probability distributions of latent variables with the minimum free energy criterion. This criterion is not easy to understand, and the computation is complex. For these reasons, this paper pr
Externí odkaz:
http://arxiv.org/abs/2408.13122
Conventional anomaly detection techniques based on reconstruction via denoising diffusion model are widely used due to their ability to identify anomaly locations and shapes with high performance. However, there is a limitation in determining appropr
Externí odkaz:
http://arxiv.org/abs/2407.09578
Prior research has enhanced the ability of Large Language Models (LLMs) to solve logic puzzles using techniques such as chain-of-thought prompting or introducing a symbolic representation. These frameworks are still usually insufficient to solve comp
Externí odkaz:
http://arxiv.org/abs/2407.03956
Reinforcement Learning (RL) has gained significant attention across various domains. However, the increasing complexity of RL programs presents testing challenges, particularly the oracle problem: defining the correctness of the RL program. Conventio
Externí odkaz:
http://arxiv.org/abs/2406.19812