Similar repositories to wellecks/naturalprover:

• wellecks/naturalprover github similar
• google/formal-ml github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• cilvrRG/RL github similar
• qkaren/COLD_decoding github similar
• cilvrRG/DeepLearn-Theory github similar
• wellecks/naturalproofs github similar
• forestagostinelli/DeepCubeA github similar
• martiansideofthemoon/rankgen github similar
• tencent-alchemy/Alchemy github similar
• neulab/knn-transformers github similar
• sympy/sympy.github.com github similar
• krishnap25/mauve github similar
• yxuansu/SimCTG github similar
• castorini/pygaggle github similar
• facebookresearch/FiD github similar
• facebookresearch/unlikelihood_training github similar
• john-hewitt/structural-probes github similar
• facebookresearch/SymbolicMathematics github similar
• allenai/dont-stop-pretraining github similar
• Mariewelt/OpenChem github similar
• princeton-nlp/DensePhrases github similar
• locuslab/deq github similar
• lisa-groundhog/GroundHog github similar
• keon/seq2seq github similar
• MadryLab/robustness github similar
• facebookresearch/KILT github similar
• wgtdkp/wgtcc github similar
• facebookresearch/SpanBERT github similar
• pyscf/pyscf github similar
• graphitemaster/moreram github similar
• harvardnlp/im2markup github similar
• facebookresearch/DPR github similar
• harvardnlp/pytorch-struct github similar
• pypa/manylinux github similar
• google/BIG-bench github similar
• google-research/language github similar
• astanin/python-tabulate github similar
• huggingface/transfer-learning-conv-ai github similar
• deepmind/mathematics_dataset github similar