00:00
2026-07-31
aclanthology.org
natural-language-processing
From Execution to Exploration: Bridging the Usability Gap in Formal Natural Language Inference
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…