{mitten}: A Flexible Multimodal Proof Assistant.

Philipp Stassen Daniel Gratzer Lars Birkedal

Published in: TYPES (2022)

Keyphrases

test bed
multi modal
neural network
artificial intelligence
social networks
mobile robot
database
data mining
information retrieval
decision trees
audio visual
proof theory
proof planning