Related Publications

MizAR 60 for Mizar 50

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...

2023 Leibniz-Zentrum für Informatik (Schlo... 70225 citations

Publication Info

Year
2025
Type
article
Pages
1-54
Citations
0
Access
Closed

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

0
OpenAlex
0
Influential
0
CrossRef

Cite This

Michael Fauß, Xiang Liu, Chen Li et al. (2025). Bayesian Selection Policies for Human-in-the-Loop Anomaly Detectors with Applications in Test Security. Psychometrika , 1-54. https://doi.org/10.1017/psy.2025.10056

Identifiers

DOI
10.1017/psy.2025.10056
PMID
41368803

Data Quality

Data completeness: 63%