Daisuke Bekki

Koharu Saeki and Daisuke Bekki from Ochanomizu University introduced Express, a web-based interactive development environment for the Japanese automated inference system lightblue, which shifts gramma…

Researchers Nanako Miyagawa, Hinari Daido, and Daisuke Bekki introduced Neural Wani, an integration of a lightweight LSTM-based neural model into the automated theorem prover wani for Dependent Type T…