PaperS
Two papers are under progress
DeepchainAda: Collaborated Deeplearning using Cardano/Ergo and SingularityNet
ValCert: eUTXO based Onchain Contract Certification framework in Coq
Two papers are under progress
DeepchainAda: Collaborated Deeplearning using Cardano/Ergo and SingularityNet
ValCert: eUTXO based Onchain Contract Certification framework in Coq