monotonicity

There are 2 repositories under monotonicity topic.

rntz / datafun
Research on integrating datalog & lambda calculus via monotonicity types
compiler datalog monotonicity programming-language query semilattices type-theory
Language:TeX 379
matlab-deep-learning / constrained-deep-learning
Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.
ai-verification convex convex-neural-network deep-learning deep-learning-algorithms lipschitz lipschitz-network monotonic monotonicity neural-networks
Language:MATLAB 27
skoestlmeier / monotonicity
R package: monotonicity
r r-package monotonicity portfolio-analysis
Language:R 9
eric11eca / Udep2Mono
Universal Dependency polarization for monotonicity based natural language inference
natural-language-understanding computational-semantics monotonicity universal-dependencies natural-language-inferece computational-linguistics
Language:Jupyter Notebook 7
guptakhil / research-papers
Summaries and annotations of research papers across broad spectrum of AI and ML.
machine-learning research-paper-summaries artificial-intelligence federated-learning reinforcement-learning monotonicity neural-networks
6
jmid / lcheck
A library for quickchecking lattice modules and associated operations
quickcheck property-based-testing ocaml lattice monotonicity embedded-dsls
Language:OCaml 5
jumelet / monotonicity-npi-lm
Experiments of the ACL 2021 Findings paper "Language Models Use Monotonicity to Assess NPI Licensing"
language-models monotonicity interpretability
Language:Jupyter Notebook 5
tomviering / monotone
This repository contains the code to reproduce all of the results in our paper: Making Learners (More) Monotone, T J Viering, A Mey, M Loog, IDA 2020.
machine-learning learning-theory monotonicity mnist streaming-data
Language:MATLAB 4
ranked-choice-tabulator
KalebNyquist / ranked-choice-tabulator
Evaluate ranked-choice elections in a notebook interface. Able to import a wide-range of elections and detect non-monotonic results.
monotonicity ranked-choice-voting
Language:Jupyter Notebook 2
bbengfort / sequence
Implements an AutoIncrement counter class similar to PostgreSQL's sequence.
go sequence monotonicity
Language:Go 1
bonStats / gcreg
General Constraint Regression Models
polynomial-regression constrained-regression mixed-effects shape-constraints monotonicity r
Language:R 1
BorealisAI / monotonicity-mixup
Code of "Not Too Close and Not Too Far: Enforcing Monotonicity Requires Penalizing The Right Points"
pytorch neurips-2021 monotonicity xai4debugging
Language:Python 1
dynatrace-research / jumpbackhash-paper
JumpBackHash: Say Goodbye to the Modulo Operation to Distribute Keys Uniformly to Buckets
balance consistent-hash-algorithm consistent-hashing distributed-systems distribution icws jump-hash jumphash monotonicity uniformity
Language:Java 1
reevesba / data-mining
Techniques for data mining.
root-mean-square-error linear-regression confusion-matrix cart sklearn knn knn-clustering monotonicity first-order-logic
Language:Java 1
stefanDeveloper / inference
Quantifiers and monotonicity in reasoning tasks
inference monotonicity quantifiers heidelberg-university
Language:Jupyter Notebook 1
jkeys-ecg-nmsu / monotonic-matrix-divide-and-conquer
A simple program demonstrating O(n*log(n)) search on a monotonic matrix, versus the O(n**2) search required for a non-monotonic matrix.
monotonicity monotonic-matrix algorithm matrix-functions matrix-search search-algorithm algorithm-complexity complexity-analysis divide-and-conquer recursive-algorithm recursion cpp c-plus-plus r-language
Language:C++ 0
vargo96 / seminars
This repository contains my seminar work (literature review) for topics in Machine Learning, Pattern Recognition at Paderborn University. Each topic is in a separate folder and the folder name is the topic of my seminar work.
machine-learning pattern-recognition seminar monotonicity deep-learning deep-neural-networks convolutional-neural-networks literature-review deep-residual-learning
0
prasad9921 / ExplainableAI
IBM AI explainability
aix360 datavisualization decision-trees explainable-ai exploratory-data-analysis faithfulness logistic-regression monotonicity lale semi-automated-pipeline
Language:Jupyter Notebook