Stars
A personal knowledge management and sharing system for VSCode
A game theoretic approach to explain the output of any machine learning model.
Agda is a dependently typed programming language / interactive theorem prover.
Lean 4 programming language and theorem prover
A model library for exploring state-of-the-art deep learning topologies and techniques for optimizing Natural Language Processing neural networks
A curated list of resources for Chinese NLP 中文自然语言处理相关资料
Lime: Explaining the predictions of any machine learning classifier
📖 A curated list of resources dedicated to Natural Language Processing (NLP)
A curated list of awesome embedding models tutorials, projects and communities.
A topic-centric list of HQ open datasets.
A curated list of awesome Machine Learning frameworks, libraries and software.