zyfyyzyf Goto Github PK

addmc

An exact CNF literal-weighted model counter using algebraic decision diagrams

addmcandcnf

awesome-dialogue-state-tracking

Dialogue State Tracking (DST) Papers, Datasets, Resources 🤩

bpmc

chinese-medicine-question-generation

“万创杯”中医药天池大数据竞赛——中医文献问题生成挑战 决赛 第一名方案

code

cosent

cosent_pytorch

CoSENT、STS、SentenceBERT

crf

Simple implementation of Conditional Random Fields (CRF) in Python. A faster, more powerful, Cython implementation is available in the vocrf project https://github.com/timvieira/vocrf

ganak

The first scalable probabilistic exact counter

gat

Graph Attention Networks (https://arxiv.org/abs/1710.10903)

gnn-sharpsat

Code for the paper 'Graph Neural Networks for Propositional Model Counting', Gaia Saveri, Luca Bortolussi (2022)

layernorm_gru

Implement layer normalization GRU in pytorch

m

mc_solver

mengzi

Mengzi Pretrained Models

natural-language-processing

neuraldnf

Neural#DNF: A Graph Neural Network for approximating the weighted model count of a DNF formula. Also includes an implementation of the Karp, Luby and Madras approximation algorithm and a random DNF generator.

neurocore-public

NeuroCore: Guiding CDCL with Unsat-Core Predictions

neurosat

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

news-text-classification

零基础入门NLP - 新闻文本分类 正式赛第一名方案

nlp_paper_study

研读顶会论文，复现论文相关代码

quick_sentence_transformers

research

novel deep learning research works with PaddlePaddle

sat-solver-dpll

A simple SAT solver that implements the DPLL algorithm with unit resolution

sbert

sentence-transformers

Multilingual Sentence & Image Embeddings with BERT

sentence_representation_matching

句子匹配模型，包括无监督的SimCSE、ESimCSE、PromptBERT，和有监督的SBERT、CoSENT。

sharpsat

The #SAT solver sharpSAT

simcse

EMNLP'2021: SimCSE: Simple Contrastive Learning of Sentence Embeddings