zhangyedi

Logic-LLM

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

stanford-cs-229-machine-learning

VIP cheatsheets for Stanford's CS 229 Machine Learning

LogiEval

a benchmark suite for testing logical reasoning abilities of prompt-based models

awesome-llm-security

A curation of awesome tools, documents and projects about LLM Security.

leedl-tutorial

《李宏毅深度学习教程》（李宏毅老师推荐👍），PDF下载地址：https://github.com/datawhalechina/leedl-tutorial/releases

ML-YouTube-Courses

📺 Discover the latest machine learning / AI courses on YouTube.

ML-Papers-of-the-Week

🔥Highlighting the top ML papers every week.

ML-Papers-Explained

Explanation to key concepts in ML

vnncomp2021_results

vnncomp2022_benchmarks

Benchmarks for the VNN Comp 2022

Socrates

ccf-deadlines

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

netron

Visualizer for neural network, deep learning and machine learning models

onnxruntime

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

SSF

[NeurIPS'22] This is an official implementation for "Scaling & Shifting Your Features: A New Baseline for Efficient Model Tuning".

NeuroDiff-ASE2020-Artifact

copilot-docs

Documentation for GitHub Copilot

qnn_robustness_benchmarks

volce

A tool designed for computing or estimating the size of the solution space of an SMT formula where the theory T is restricted to the linear arithmetic theory.

VOL2LAT

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

barvinok

Mirror of git://repo.or.cz/barvinok.git, because that repo appears to be down frequently

pblib

A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF

cadet

A fast and certifying solver for quantified Boolean formulas.

awesome-cryptography

A curated list of cryptography resources and links.

frap

Formal Reasoning About Programs

nni

An open source AutoML toolkit for automate machine learning lifecycle, including feature engineering, neural architecture search, model compression and hyper-parameter tuning.

HorizontalCAS

larq

An Open-Source Library for Training Binarized Neural Networks

eran

ETH Robustness Analyzer for Deep Neural Networks