jdnklau
Follow
Stars
Contains the aggregated primary studies found during the systematic mapping study over AI application in the field of formal methods.
A collection of Beamer themes from the community
😎 A curated list of awesome MLOps tools
This code package implements the prototypical part network (ProtoPNet) from the paper "This Looks Like That: Deep Learning for Interpretable Image Recognition" (to appear at NeurIPS 2019), by Chaof…
💡 All-in-one open-source AI framework for semantic search, LLM orchestration and language model workflows
Master programming by recreating your favorite technologies from scratch.
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
An OpenAI Gym interface to Super Mario Bros. & Super Mario Bros. 2 (Lost Levels) on The NES
PMLB: A large, curated repository of benchmark datasets for evaluating supervised machine learning algorithms.
VeriDeep / DLV
Forked from xiaoweih/DLVSafety Verification of Deep Neural Networks
An adversarial example library for constructing attacks, building defenses, and benchmarking both
MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
Book about interpretable machine learning
more than you ever wanted to know about Pokémon
Database project of box and inventory sprites from the Pokémon core series games
Frontend and server for measuring perceptions of algorithmic fairness
A self-driving car simulator built with Unity
A fast Clojure Tensor & Deep Learning library
A collection of (public) specifications in different formalisms.
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Deezer source separation library including pretrained models.
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
A Python package to assess and improve fairness of machine learning models.
The Power of Prolog: Introduction to modern Prolog
A curated list of awesome Clojure libraries and resources. Inspired by awesome-... stuff