×

Found 541 Documents (Results 1–100)

Mechanizing soundness of off-policy evaluation. (English) Zbl 07881145

Andronick, June (ed.) et al., 13th international conference on interactive theorem proving, ITP 2022, Haifa, Israel, August 7–10, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 237, Article 32, 20 p. (2022).
MSC:  68V15
Full Text: DOI

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field