Similar repositories to BartoszPiotrowski/ATPboost:

• BartoszPiotrowski/ATPboost github similar
• karpathy/nanoGPT github similar
• ezelikman/parsel github similar
• pvsioweb/pvsio-web github similar
• JUrban/deepmath github similar
• LaifsV1/YUP github similar
• IBM/FormalML github similar
• mirefek/geo_logic github similar
• ncatlab/nlab github similar
• lab11/signpost github similar
• lambdal/deeplearning-benchmark github similar
• metacademy/metacademy-content github similar
• formalabstracts/formalabstracts github similar
• DatabaseGroup/apted github similar
• ejgallego/coq-serapi github similar
• openai/miniF2F github similar
• lukaszcz/coqhammer github similar
• vprover/vampire github similar
• princeton-vl/CoqGym github similar
• siddhartha-gadgil/ProvingGround github similar
• deepmind/AQuA github similar
• renqianluo/NAO github similar
• hwayne/learntla github similar
• martius-lab/blackbox-backprop github similar
• cmu-phil/tetrad github similar
• jrh13/hol-light github similar
• wyvernlang/wyvern github similar
• jscoq/jscoq github similar
• hazelgrove/hazel github similar
• emina/rosette github similar
• microsoft/mup github similar
• williamFalcon/test-tube github similar
• tensorflow/deepmath github similar
• egraphs-good/egg github similar
• jonathan-laurent/AlphaZero.jl github similar
• leanprover/lean github similar
• facebookresearch/higher github similar
• Pyomo/pyomo github similar
• lexfridman/deeptraffic github similar
• TimDettmers/bitsandbytes github similar