ai4verification

codellama

Inference code for CodeLlama models

DemoGPT

Create 🦜️🔗 LangChain apps by just using prompts🌟 Star to support our work! | 只需使用句子即可创建 LangChain 应用程序。 给个star支持我们的工作吧！

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

donut

Official Implementation of OCR-free Document Understanding Transformer (Donut) and Synthetic Document Generator (SynthDoG), ECCV 2022

UDOP

self-instruct

Aligning pretrained language models with instruction data generated by themselves.

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it.

LMFlow

An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.

ChatGLM-6B

ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型

circuitgraph

Tools for working with circuits as graphs in python

doxygen

Official doxygen git repository

karateclub

Karate Club: An API Oriented Open-source Python Framework for Unsupervised Learning on Graphs (CIKM 2020)

sparsewl

Code for "Weisfeiler and Leman go sparse: Towards higher-order graph embeddings"

awesome-graph-classification

A collection of important graph embedding, classification and representation learning papers with implementations.

GraKeL

A scikit-learn compatible library for graph kernels

also

A logic synthesis tool

OpenABC

OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

P-GNN

Position-aware Graph Neural Networks

pytorch_geometric

Graph Neural Network Library for PyTorch

SubGNN

Subgraph Neural Networks (NeurIPS 2020)

ogb

Benchmark datasets, data loaders, and evaluators for graph machine learning

neurocore-public

NeuroCore: Guiding CDCL with Unsat-Core Predictions

UDAGCN

Python implementation of "Unsupervised Domain Adaptive Graph Convolutional Networks", WWW-20.

BPR-pytorch

A pytorch implementation for BPR (Bayesian Personalized Ranking).

CodeBERT

CodeBERT

L2R

A Python version of RankNet, LambdaRank and LambdaMart

Meta-MGNN

Few-Shot Graph Learning for Molecular Property Prediction

Shift-Robust-GNNs

"Shift-Robust GNNs: Overcoming the Limitations of Localized Graph Training Data" (NeurIPS 21')