Minsu Kim's repositories
detectron2
Detectron2 is a platform for object detection, segmentation and other visual recognition tasks.
Language:PythonApache-2.0000
GEAR
Source code for ACL 2019 paper "GEAR: Graph-based Evidence Aggregating and Reasoning for Fact Verification"
Language:PythonMIT000
Language:Python000
Language:Jupyter Notebook000
MS0117
Config files for my GitHub profile.
000
NLProofS
Code for the paper "Generating Natural Language Proofs with Verifier-Guided Search" https://arxiv.org/abs/2205.12443
Language:PythonMIT000
Language:PythonMIT000
Language:Jupyter Notebook000
Language:Python000
Language:Python000
Transformer-Formal-Languages
EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
Language:PythonMIT000
transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Apache-2.0000