ezyang/SMT-LIB-benchmarks-pytorch-shapes
SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
Stars: 18Language: SMT
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubSMT-LIB benchmarks for shape computations from deep learning models in PyTorch