Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.

Тақырып бойынша Computer Science көру "Chat bot"

Көрінетін элементтер 1-1 из 1

Automated Theorem Proving in a Chat Environment

Zhumagambetov, Rustam; Sterling, Mark (Nazarbayev University School of Science and Technology, 2018)

We present a chat bot interface for the Coq proof assistant system. The bot provides a new modality of interaction with Coq that functions across multiple devices and platforms. Our system is particularly suitable for ...