summerscope / fairXiv
A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science
☆11Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for fairXiv
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆16Updated 7 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- Factor Graph Grammars in Python☆13Updated last week
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated last month
- Includes chainer code used to get 1.24 bpc on hutter prize☆14Updated 7 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 2 years ago
- Program synthesis☆12Updated 8 years ago
- deep learning for math☆29Updated 5 years ago
- Information geometry and its extension information topology☆10Updated 6 years ago
- Variable-order CRFs with structure learning☆16Updated 3 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 4 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Updated 8 years ago
- Implementation of different variants of Parseval metric☆15Updated 10 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆10Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- Public course repo☆24Updated 5 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 2 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 3 years ago
- Notes from Simons Institute program "Foundations of Machine Learning"☆13Updated 7 years ago
- ☆16Updated 4 years ago
- Implementation of generative semantic grammar.☆17Updated 2 years ago
- ☆14Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆17Updated 6 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 3 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 3 months ago