Login / Signup

A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs.

Jin Xing LimBarnabé MonnotShaowei LinGeorgios Piliouras
Published in: Blockchain (2021)
Keyphrases
  • collaborative learning
  • multi user
  • computer science
  • automatic programming
  • provably correct
  • neural network
  • formal model
  • fixpoint
  • answer sets
  • computer supported collaborative learning
  • java programs