crack521's repositories
logical-expression-parser
Parser for logical expressions language
satispy
An interface to SAT solver tools (like minisat)
algovision
Differentiable Algorithms and Algorithmic Supervision.
awesome-ml4co
Awesome machine learning for combinatorial optimization papers.
country-flags
SVG and PNG renders of all countries' flags.
csp-drl
Implementation of "Learning Variable Ordering Heuristics for Solving Constraint Satisfaction Problems"
DeepHypergraph
A pytorch library for graph and hypergraph computation.
fibo
The Financial Industry Business Ontology (FIBO) defines the sets of things that are of interest in financial business applications and the ways that those things can relate to one another. In this way, FIBO can give meaning to any data (e.g., spreadsheets, relational databases, XML documents) that describe the business of finance.
gnn-taxo-construction
A tool for taxonomy construction using Graph Neural Networks (GNN).
graph_sample_rl
Influence maximization in unknown social networks: Learning Policies for Effective Graph Sampling (official code repository)
Gurobi-Models
In this project, one can find an extensive collection of classical optimization problems along with a proposed solution procedure using Gurobi.
haystack
:mag: Haystack is an open source NLP framework that leverages pre-trained Transformer models. It enables developers to quickly implement production-ready semantic search, question answering, summarization and document ranking for a wide range of NLP applications.
HowToLiveLonger
程序员延寿指南 | A programmer's guide to live longer
KnowledgeablePromptTuning
kpt code
Mengzi
Mengzi Pretrained Models
NSNet
[NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
Online-3D-BPP-PCT
Code implementation of "Learning Efficient Online 3D Bin Packing on Packing Configuration Trees". We propose to enhance the practical applicability of online 3D-BPP (Bin Packing Problem) via learning on a hierarchical packing configuration tree which makes the DRL model easy to deal with practical constraints and well-performing even with continuous solution space.
pyconcorde
Python wrapper around the Concorde TSP solver
pysat
A toolkit for SAT-based prototyping in Python
pytorch_neural_crf
Pytorch implementation of LSTM/BERT-CRF for named entity recognition
Statistical-Learning-Method_Code
手写实现李航《统计学习方法》书中全部算法
torchdrug
A powerful and flexible machine learning platform for drug discovery
UCPhrase-exp
This project provides an unsupervised framework for mining and tagging quality phrases on text corpora with pretrained language models (KDD'21).
VOSviewer-Online
VOSviewer Online is a tool for network visualization. It is a web-based version of VOSviewer, a popular tool for constructing and visualizing bibliometric networks.