ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2004.12734
  4. Cited By
An Epistemic Approach to the Formal Specification of Statistical Machine
  Learning
v1v2v3 (latest)

An Epistemic Approach to the Formal Specification of Statistical Machine Learning

27 April 2020
Yusuke Kawamoto
    CML
ArXiv (abs)PDFHTML

Papers citing "An Epistemic Approach to the Formal Specification of Statistical Machine Learning"

3 / 3 papers shown
Title
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto
Kentaro Kobayashi
Kohei Suenaga
56
0
0
25 May 2024
Formalizing Statistical Causality via Modal Logic
Formalizing Statistical Causality via Modal Logic
Yusuke Kawamoto
Sato Tetsuya
Kohei Suenaga
CMLLRM
115
2
0
30 Oct 2022
Sound and Relatively Complete Belief Hoare Logic for Statistical
  Hypothesis Testing Programs
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
Yusuke Kawamoto
Tetsuya Sato
Kohei Suenaga
28
3
0
15 Aug 2022
1