Popular repositories Loading

1. LaM4Inv LaM4Inv Public

   Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024

   SMT 26 6

2. CoDiSum CoDiSum Public

   Implementation of 'Commit message generation for source code change'.

   Python 25 6

3. FTrojan FTrojan Public

   Implementation of An Invisible Black-box Backdoor Attack through Frequency Domain

   Python 20 4

4. MaCon MaCon Public

   Implementation of Hashtag Recommendation for Photo Sharing Services

   Python 12 6

5. iTag iTag Public

   Implementation of An Integral Tag Recommendation Model for Textual Content.

   Python 10 3

6. CFANE CFANE Public

   Code for paper Unsupervised Attributed Network Embedding via Cross Fusion (WSDM 2021)

   Python 8 5