ezyang/SMT-LIB-benchmarks-pytorch-shapes

This is stars and forks stats for /ezyang/SMT-LIB-benchmarks-pytorch-shapes repository. As of 08 May, 2024 this repository has 16 stars and 0 forks.

SMT-LIB-benchmarks-pytorch-shapes This repository provides SMT-LIB benchmarks for shape computations from deep learning models in PyTorch. Motivation There have been many proposals for expressive type systems that can reason about the shapes of tensors in deep learning programs. Some applications for these type systems include: Reporting size errors to users at compile-time rather than run-time Automatically inferring a set of valid inputs for an arbitrary function Determining a set of inputs that...