CoDiSum

(★ 25)

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

Owner Repos

LaM4Inv ★ 30

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

SMT
MaCon ★ 12

Implementation of Hashtag Recommendation for Photo Sharing Services

Python
iTag ★ 10

Implementation of An Integral Tag Recommendation Model for Textual Content.

Python
I3DP ★ 9

I3DP Artifact for SOSP 2026: Automatic Inductive Invariant Inference for TLA+ Protocols

TLA
CFANE ★ 8

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

Python

File Explorer

ZIP Download
  • attention.py
  • CopyNetPlusgen.py
  • data4CopynetV3.py
  • data4CopynetV3.zip
  • data_process_tools.py
  • defined_layers.py
  • lemmatization.json
  • models1.py
  • README.md
  • utils.py

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

python

View Details ▼

Python language interpreter.

python

Start a REPL (interactive shell):

python {{path/to/file.py}}

Execute a specific Python file:

python -i {{path/to/file.py}}

Execute a specific Python file and start a REPL:

// repository documentation