Keisuke Yahata

Identifiers

• name variant Keisuke Yahata 0.50 · backfill

Papers (1)

1. Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning cs.LG · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Masahiro Sakai 1 shared papers
• Mitsuru Kusumoto 1 shared papers