Similar repositories to softsys4ai/differentiable-proving:

• softsys4ai/differentiable-proving github similar
• danistefanovic/build-your-own-x github similar
• escalab/GPTPU github similar
• GPUOpen-LibrariesAndSDKs/Orochi github similar
• asharifiz/Probability_Statistics github similar
• facebookresearch/MathsFromExamples github similar
• IBM/AutoMLPipeline.jl github similar
• ITensor/ITensors.jl github similar
• NERSC/shifter github similar
• amanjeetsahu/Natural-Language-Processing-Specialization github similar
• flang-compiler/flang github similar
• SciML/DiffEqFlux.jl github similar
• JuliaGPU/CUDA.jl github similar
• zongyi-li/fourier_neural_operator github similar
• keroro824/HashingDeepLearning github similar
• lululxvi/deepxde github similar
• riscv/riscv-isa-sim github similar
• geek-ai/MAgent github similar
• deepmind/mathematics_dataset github similar
• TuringLang/Turing.jl github similar
• ilkarman/DeepLearningFrameworks github similar
• matthewearl/deep-anpr github similar
• gpac/gpac github similar
• facebookincubator/cinder github similar
• ispc/ispc github similar
• EleutherAI/gpt-neox github similar
• zzh8829/yolov3-tf2 github similar
• pydata/xarray github similar
• facebookresearch/vissl github similar
• pytorch/glow github similar
• ashishpatel26/Tools-to-Design-or-Visualize-Architecture-of-Neural-Network github similar
• oneapi-src/oneDNN github similar
• NVIDIA/Megatron-LM github similar
• Oneflow-Inc/oneflow github similar
• Sentdex/pygta5 github similar
• FluxML/Flux.jl github similar
• tensorflow/probability github similar
• Syllo/nvtop github similar
• brianfrankcooper/YCSB github similar
• onnx/models github similar