NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Talking with the Theorem Prover to Interactively Solve Natural Language Inference
Atsushi Sumita
|
Yusuke Miyao
|
Koji Mineshima
|
Paper Details:
Month: 11
Year: 2021
Location: Shanghai, China
Venue:
PACLIC |
Citations
URL
No Citations Yet
https://github.com/masashi-
https://github.com/mynlp/ccg2lambda
Field Of Study