activity
20122023
most citedPredicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

3 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2021

A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code

Ho Young Jhoo, Sehoon Kim, Woosung Song +3

We present an automatic static analyzer PyTea that detects tensor-shape errors in PyTorch code. The tensor-shape error is critical in the deep neural net code; much of the training…