Picture for Kohei Suenaga

Kohei Suenaga

Kyoto University

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs

Add code
May 25, 2024
Viaarxiv icon

Formalizing Statistical Causality via Modal Logic

Add code
Nov 01, 2022
Viaarxiv icon

BOREx: Bayesian-Optimization--Based Refinement of Saliency Map for Image- and Video-Classification Models

Add code
Oct 31, 2022
Viaarxiv icon

Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs

Add code
Aug 15, 2022
Figure 1 for Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
Figure 2 for Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
Figure 3 for Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
Figure 4 for Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs
Viaarxiv icon

Goal-Aware RSS for Complex Scenarios via Program Logic

Add code
Jul 06, 2022
Figure 1 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 2 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 3 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 4 for Goal-Aware RSS for Complex Scenarios via Program Logic
Viaarxiv icon

HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types

Add code
Sep 10, 2021
Figure 1 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Figure 2 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Figure 3 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Figure 4 for HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Viaarxiv icon

Enhancing Loop-Invariant Synthesis via Reinforcement Learning

Add code
Aug 14, 2021
Figure 1 for Enhancing Loop-Invariant Synthesis via Reinforcement Learning
Figure 2 for Enhancing Loop-Invariant Synthesis via Reinforcement Learning
Figure 3 for Enhancing Loop-Invariant Synthesis via Reinforcement Learning
Figure 4 for Enhancing Loop-Invariant Synthesis via Reinforcement Learning
Viaarxiv icon

Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs

Add code
Jan 28, 2021
Figure 1 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 2 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 3 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 4 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Viaarxiv icon

Visualizing Color-wise Saliency of Black-Box Image Classification Models

Add code
Oct 06, 2020
Figure 1 for Visualizing Color-wise Saliency of Black-Box Image Classification Models
Figure 2 for Visualizing Color-wise Saliency of Black-Box Image Classification Models
Figure 3 for Visualizing Color-wise Saliency of Black-Box Image Classification Models
Figure 4 for Visualizing Color-wise Saliency of Black-Box Image Classification Models
Viaarxiv icon

Automated proof synthesis for propositional logic with deep neural networks

Add code
May 30, 2018
Figure 1 for Automated proof synthesis for propositional logic with deep neural networks
Figure 2 for Automated proof synthesis for propositional logic with deep neural networks
Figure 3 for Automated proof synthesis for propositional logic with deep neural networks
Figure 4 for Automated proof synthesis for propositional logic with deep neural networks
Viaarxiv icon