Jacob-yen

Ming Yan's repositories

LEMON

This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.

Language:PythonApache-2.052 2 2

GRIST

This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-propagation.

Language:PythonApache-2.013 20

DL-Coverage-Study

This is the homepage of our JSEP paper: Revisiting Deep Neural Network Test Coverage from the Test Effectiveness Perspective

Language:PythonApache-2.03 10

LMT

This is the webpage of our ICSE 2023 SEIP paper: Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations

1 10

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Language:PythonApache-2.0100

The LRP Toolbox provides simple and accessible stand-alone implementations of LRP for artificial neural networks supporting Matlab and Python. The Toolbox realizes LRP functionality for the Caffe Deep Learning Framework as an extension of Caffe source code published in 10/2015.

Language:Jupyter NotebookNOASSERTION000

numerical_bugs_in_dl_programs

This repository contains the issues and posts of our work An Empirical Study on Numerical Bugs in Deep Learning Programs. We list these issues and posts in four markdown files as follows.

010

tjusail.github.io

天津大学智能与计算学部实验室-sail

Language:SCSS000