Sign in

Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus.

Titouan CaretteEtienne MoutotThomas PerezRenaud Vilmart
Published in: ICALP (2023)
Keyphrases
  • single point
  • provably correct
  • neural network
  • computer vision
  • data model
  • range images
  • formal language