Pinned Repositories
CIMG-BERT
Clientdemo
code-
pretrain bert
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
deepmind-research
This repository contains implementations and illustrative code to accompany DeepMind publications
mytest
pretrainbert
single_base_pretrain
skills
个人的技能树仓库，包含一些个人学习的笔记以及开发项目
2496319299's Repositories
2496319299/CIMG-BERT
2496319299/Clientdemo
2496319299/code-
pretrain bert
2496319299/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
2496319299/deepmind-research
This repository contains implementations and illustrative code to accompany DeepMind publications
2496319299/mytest
2496319299/pretrainbert
2496319299/single_base_pretrain
2496319299/skills
个人的技能树仓库，包含一些个人学习的笔记以及开发项目