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

Grok open release

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

This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.

seL4 specification and proofs

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

A unified benchmark problem for data poisoning attacks

Approximate nearest neighbor search with product quantization on GPU in pytorch and cuda

Code for the ACL 2022 paper "Contextual Representation Learning beyond Masked Language Modeling"

Unified Multilingual Robustness Evaluation Toolkit for Natural Language Processing

Common programming identifier abbreviation suggestions

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

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

Python bindings to the Tree-sitter parsing library

名副其实的自动AC机

CodeBERT

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

PKU一键出入校备案小工具

CodeXGLUE

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

这个repo是为了锤北大垃圾教授——冯仁杰

Must-read papers on graph neural networks (GNN)

An open-source NLP research library, built on PyTorch.

An Algorithm to Quantify Robustness of Recurrent Neural Networks

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

A binary classifier using BERT and the SST-2 dataset