Formalization of a Framework for the Sound Automation of Magic Wands.

Thibault Dardinier

Published in: Arch. Formal Proofs (2022)

Keyphrases

main contribution
conceptual framework
lightweight
neural network
web pages
probabilistic model
computational framework