Similar repositories to adamtopaz/lean-acl-pairs:

• adamtopaz/lean-acl-pairs github similar
• mo271/formal_book github similar
• mariainesdff/local_fields github similar
• ke0z/VulChatGPT github similar
• mikesha2/identitylib github similar
• facebookresearch/miniF2F github similar
• paperswithcode/galai github similar
• facebookresearch/symbolicregression github similar
• facebookresearch/diplomacy_cicero github similar
• keirp/automatic_prompt_engineer github similar
• apple/ml-stable-diffusion github similar
• transitive-bullshit/chatgpt-twitter-bot github similar
• transitive-bullshit/chatgpt-api github similar
• greshake/Alice github similar
• google-research/robotics_transformer github similar
• openai/tiktoken github similar
• wenhuchen/Program-of-Thoughts github similar
• lucidrains/PaLM-rlhf-pytorch github similar
• google-research/language-table github similar
• facebookresearch/AutoCAT github similar
• lean-forward/class-group-and-mordell-equation github similar
• ethancaballero/broken_neural_scaling_laws github similar
• google-research/tuning_playbook github similar
• microsoft/BioGPT github similar
• likenneth/othello_world github similar
• lllyasviel/ControlNet github similar
• facebookresearch/llama github similar
• digama0/mizar-rs github similar
• oobabooga/text-generation-webui github similar
• microsoft/visual-chatgpt github similar
• ymonbru/Diagram-chasing github similar
• KisaraBlue/ec-tate-lean github similar
• Jlh18/ModelTheory8Report github similar
• madvorak/grammars github similar
• prakol16/lean_complexity_theory_polytime_trees github similar
• leanprover-community/flt-regular github similar
• bernoreitsma/g3hyptorsion github similar
• chanind/mathlib-changelog github similar
• luisscastillo/lean-game github similar
• leanprover-community/blog github similar