summerscope / fairXivLinks
A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science
☆12Updated 6 years ago
Alternatives and similar repositories for fairXiv
Users that are interested in fairXiv are comparing it to the libraries listed below
Sorting:
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- Neural-Network Guided Expression Transformation☆12Updated 7 years ago
- Factor Graph Grammars in Python☆13Updated 7 months ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆29Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- lean-related presentations☆16Updated last year
- ☆23Updated 3 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 8 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated this week
- The source code repository for the FactorBase system☆10Updated last year
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 5 years ago
- Credici: Credal Inference for Causal Inference☆16Updated last month
- Bayesian Nonparametric Mixture Models in Julia☆14Updated 7 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- Automated theorem prover for a linear logic-based calculus for molecular biology.☆12Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Fast algorithm for leverage score sampling, low rank (kernel) matrix factorization and PCA☆16Updated last year
- An implementation of the Graves & Schmidhuber (2005) bidirectional LSTM in Flux.☆11Updated 7 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Metamath verifier in Python☆40Updated last month
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 3 months ago
- ☆19Updated last month
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated last year
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- Framework for Gibbs sampling of probabilistic models☆49Updated 10 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Adding conjecturing to Sage☆13Updated 2 years ago