Talking with the Theorem Prover to Interactively Solve Natural Language Inference

29364

Knowledge Triples

Source Entity	Relationship	Target Entity
Автоматическое доказательство теорем Method	enhancedBy	Человек в цикле система Method
ccg2lambda Material	evaluatedIn	Набор данных SICK Material
ccg2lambda Material	improvedBy	Уровень воспоминания Metric
Человек в цикле система Method	focusesOn	Подцель OtherEntity
Вывод на естественном языке Task	uses	Автоматическое доказательство теорем Method
Вывод на естественном языке Task	uses	Формальная семантика OtherEntity