LC-John

Fashion-MNIST

IntroductionToComputationHomework2022

Homework solutions to the PKU EECS course <Introduction To Computation>

HWSolutions2Introduction2Computation

Metropolis-Hastings-Attacker

"Generating Fluent Adversarial Examples for Natural Languages"

zhanghz

autoSubmit

北京大学疫情出入校自动填报

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

Bayesian-Neural-Networks

Pytorch implementations of Bayes By Backprop, MC Dropout, SGLD, the Local Reparametrization Trick, KF-Laplace, SG-HMC and more

Beijing_Daxuexi_Simple

北京 青年大学习 使用Github Actions自动完成

beir

A Heterogeneous Benchmark for Information Retrieval. Easy to use, evaluate your models across 15+ diverse IR datasets.

BERT-Attack

Code for EMNLP2020 long paper: BERT-Attack: Adversarial Attack Against BERT Using BERT

clash_for_windows_pkg

A Windows/macOS GUI based on Clash

CodeBERT

CodeBERT

CodeXGLUE

CodeXGLUE

datasets

source{d} datasets ("big code") for source code analysis and machine learning on source code

english-words

:memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

faiss

A library for efficient similarity search and clustering of dense vectors.

grok-1

Grok open release

IdBench

A benchmark for evaluating embeddings of identifiers in source code.

identifier-abbr

Common programming identifier abbreviation suggestions

l4v

seL4 specification and proofs

LC-John

Config files for my GitHub profile.

linux

Linux kernel source tree

Meeting-Room-Automata

IoT meeting room automatas implemented with UPPAAL

ml4se-offside

Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

Project_CodeNet

This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX

robustness

Corruption and Perturbation Robustness (ICLR 2019)

slemi

SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

textflint

Unified Multilingual Robustness Evaluation Toolkit for Natural Language Processing