Talking with the Theorem Prover to Interactively Solve Natural Language Inference
29364Related Entities
Автоматты теорема дәлелдеу
Method
ccg2lambda
Material
Формалды семантика
OtherEntity
Адам циклде жүйесі
Method
Еске түсіру деңгейі
Metric
SICK деректер жинағы
Material
Қос мақсат
OtherEntity