Pinned Repositories
Deeplearning
detectron2
Detectron2 is a platform for object detection, segmentation and other visual recognition tasks.
GEAR
Source code for ACL 2019 paper "GEAR: Graph-based Evidence Aggregating and Reasoning for Fact Verification"
GraphReasoning
ML
MS0117
Config files for my GitHub profile.
NewProofGeneration
NLProofS
Code for the paper "Generating Natural Language Proofs with Verifier-Guided Search" https://arxiv.org/abs/2205.12443
ProofGeneration
Transformer
MS0117's Repositories
MS0117/Transformer
MS0117/Deeplearning
MS0117/detectron2
Detectron2 is a platform for object detection, segmentation and other visual recognition tasks.
MS0117/GEAR
Source code for ACL 2019 paper "GEAR: Graph-based Evidence Aggregating and Reasoning for Fact Verification"
MS0117/GraphReasoning
MS0117/ML
MS0117/MS0117
Config files for my GitHub profile.
MS0117/NewProofGeneration
MS0117/NLProofS
Code for the paper "Generating Natural Language Proofs with Verifier-Guided Search" https://arxiv.org/abs/2205.12443
MS0117/ProofGeneration
MS0117/pygame
MS0117/Reasoning
MS0117/ServerProofGeneration
MS0117/SNLI
MS0117/Transformer-Formal-Languages
EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
MS0117/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.