00:00
2026-07-31
aclanthology.org
machine-learning
Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type Theory
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…