Repositories list

• LaM4Inv

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

  SMT

  •2•4•0•0•Updated Sep 3, 2024Sep 3, 2024

• NeuralPA

  Public
  Neural Program Analysis

  Java

  •

  MIT License

  •11•3•0•0•Updated Jul 9, 2024Jul 9, 2024

• Soften-NeSy-learning

  Public
  Code for the paper "Softened Symbol Grounding for Neuro-symbolic Systems"

  Python

  •0•4•0•0•Updated Mar 11, 2024Mar 11, 2024

• NeSy-without-Shortcuts

  Public
  Code for the paper "Learning with Logical Constraints but without Shortcut Satisfaction"

  Python

  •2•9•0•0•Updated Jul 18, 2023Jul 18, 2023

• FTrojan

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

  Python

  •

  MIT License

  •1•13•2•0•Updated Sep 29, 2022Sep 29, 2022

• CoMeG

  Public
  Code for "Combining Code Context and Fine-grained Code Difference forCommit Message Generation"

  Python

  •0•0•0•0•Updated Sep 22, 2022Sep 22, 2022

• AdvOC

  Public
  The code for paper: Data Quality Matters: A Case Study of Obsolete Comment Detection

  Python

  •3•0•0•0•Updated Sep 5, 2022Sep 5, 2022

• FairDisCo

  Public
  Python

  •1•1•0•0•Updated Jul 13, 2022Jul 13, 2022

• SeeS

  Public
  Code for paper Structure Meets Sequences: Predicting Network ofCo-evolving Sequences (WSDM 2022)

  Python

  •0•3•0•0•Updated Oct 20, 2021Oct 20, 2021

• CFANE

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

  Python

  •5•7•1•0•Updated Nov 24, 2020Nov 24, 2020

• Near

  Public
  Code for 'Discerning Edge Influence for Network Embedding'

  Python

  •0•0•0•0•Updated Oct 28, 2020Oct 28, 2020

• RankNE

  Public
  Code for Bringing Order to Network Embedding: A Relative Ranking based Approach (CIKM 2020)

  C++

  •1•0•0•0•Updated Oct 15, 2020Oct 15, 2020

• CFDebug

  Public
  Code for Trading Personalization for Accuracy: Data Debugging in Collaborative Filtering (NeurIPS 2020)

  Python

  •2•5•0•0•Updated Oct 15, 2020Oct 15, 2020

• iTag

  Public
  Implementation of An Integral Tag Recommendation Model for Textual Content.

  Python

  •3•10•3•0•Updated Jul 22, 2020Jul 22, 2020

• DeepIntent

  Public
  Implementation of DeepIntent: Deep Icon-Behavior Learning for Detecting Intention-Behavior Discrepancy in Mobile Apps

  Java

  •19•0•0•0•Updated Jul 14, 2020Jul 14, 2020

• logdeep

  Public
  log anomaly detection toolkit including DeepLog

  Python

  •

  MIT License

  •116•0•0•0•Updated Apr 23, 2020Apr 23, 2020

• CoDiSum

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

  Python

  •6•25•1•0•Updated Oct 23, 2019Oct 23, 2019

• STMLocator

  Public
  Bug Localization via Supervised Topic Modeling

  Python

  •0•1•0•0•Updated Nov 29, 2018Nov 29, 2018

• MaCon

  Public
  Implementation of Hashtag Recommendation for Photo Sharing Services

  Python

  •5•10•4•0•Updated Nov 23, 2018Nov 23, 2018