Harpoon: Mechanizing Metatheory Interactively - (System Description).

Jacob Errington Junyoung Jang Brigitte Pientka

Published in: CADE (2021)

Keyphrases

high level
data sets
real world
neural network
search engine
knowledge base
multiscale
cooperative
natural language
viewpoint
special case
hidden markov models