Pinned Loading

1. CoReBench/CoRe CoReBench/CoRe Public

   Python 3 2

2. meta-pytorch/forge meta-pytorch/forge Public

   PyTorch-native post-training at scale

   Python 56 15

3. lt-asset/resym lt-asset/resym Public

   For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, and Xiangyu Zhang. …

   Makefile 109 6

4. lin-tan/DocTer lin-tan/DocTer Public

   For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Mike Godfrey

   37 4

5. Kraks/contract-for-contract Kraks/contract-for-contract Public

   Solidity 6