Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Symbolic logic meets machine learning: A brief survey in infinite domains
V Belle - International conference on scalable uncertainty …, 2020 - Springer
The tension between deduction and induction is perhaps the most fundamental issue in
areas such as philosophy, cognition and artificial intelligence (AI). The deduction camp …
areas such as philosophy, cognition and artificial intelligence (AI). The deduction camp …
Scaling exact inference for discrete probabilistic programs
Probabilistic programming languages (PPLs) are an expressive means of representing and
reasoning about probabilistic models. The computational challenge of probabilistic …
reasoning about probabilistic models. The computational challenge of probabilistic …
Collapsed inference for bayesian deep learning
Bayesian neural networks (BNNs) provide a formalism to quantify and calibrate uncertainty
in deep learning. Current inference approaches for BNNs often resort to few-sample …
in deep learning. Current inference approaches for BNNs often resort to few-sample …
SIMPLE: A Gradient Estimator for -Subset Sampling
$ k $-subset sampling is ubiquitous in machine learning, enabling regularization and
interpretability through sparsity. The challenge lies in rendering $ k $-subset sampling …
interpretability through sparsity. The challenge lies in rendering $ k $-subset sampling …
A Unified Approach to Count-Based Weakly Supervised Learning
High-quality labels are often very scarce, whereas unlabeled data with inferred weak labels
occurs more naturally. In many cases, these weak labels dictate the frequency of each …
occurs more naturally. In many cases, these weak labels dictate the frequency of each …
[HTML][HTML] Enhancing SMT-based Weighted Model Integration by structure awareness
The development of efficient exact and approximate algorithms for probabilistic inference is
a long-standing goal of artificial intelligence research. Whereas substantial progress has …
a long-standing goal of artificial intelligence research. Whereas substantial progress has …
Lifted reasoning meets weighted model integration
Exact inference in probabilistic graphical models is particularly challenging in the presence
of relational and other deterministic constraints. For discrete domains, weighted model …
of relational and other deterministic constraints. For discrete domains, weighted model …
Scaling up hybrid probabilistic inference with logical and arithmetic constraints via message passing
Weighted model integration (WMI) is an appealing framework for probabilistic inference: it
allows for expressing the complex dependencies in real-world problems, where variables …
allows for expressing the complex dependencies in real-world problems, where variables …
Probabilistic inference with algebraic constraints: Theoretical limits and practical approximations
Weighted model integration (WMI) is a framework to perform advanced probabilistic
inference on hybrid domains, ie, on distributions over mixed continuous-discrete random …
inference on hybrid domains, ie, on distributions over mixed continuous-discrete random …
Hybrid probabilistic inference with logical and algebraic constraints: a survey
Real world decision making problems often involve both discrete and continuous variables
and require a combination of probabilistic and deterministic knowledge. Stimulated by …
and require a combination of probabilistic and deterministic knowledge. Stimulated by …