Research on integrating datalog & lambda calculus via monotonicity types

• UpdatedJun 21, 2022
• TeX

Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.

• UpdatedJan 13, 2025
• MATLAB

R package: monotonicity

• UpdatedDec 27, 2021
• R

Summaries and annotations of research papers across broad spectrum of AI and ML.

• UpdatedJun 30, 2020

Universal Dependency polarization for monotonicity based natural language inference

• UpdatedJun 15, 2021
• Jupyter Notebook

Experiments of the ACL 2021 Findings paper "Language Models Use Monotonicity to Assess NPI Licensing"

• UpdatedJun 21, 2022
• Jupyter Notebook

A library for quickchecking lattice modules and associated operations

• UpdatedOct 12, 2021
• OCaml

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.

• UpdatedApr 23, 2020
• MATLAB

Techniques for data mining.

• UpdatedNov 9, 2020
• Java

Quantifiers and monotonicity in reasoning tasks

• UpdatedMar 30, 2021
• Jupyter Notebook

Code of "Not Too Close and Not Too Far: Enforcing Monotonicity Requires Penalizing The Right Points"

• UpdatedDec 16, 2021
• Python

Evaluate ranked-choice elections in a notebook interface. Able to import a wide-range of elections and detect non-monotonic results.

• UpdatedJul 28, 2022
• Jupyter Notebook

Implements an AutoIncrement counter class similar to PostgreSQL's sequence.

• UpdatedOct 24, 2017
• Go

JumpBackHash: Say Goodbye to the Modulo Operation to Distribute Keys Uniformly to Buckets

• UpdatedOct 26, 2024
• Java

General Constraint Regression Models

• UpdatedJan 3, 2018
• R

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.

• UpdatedJun 17, 2018
• C++

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.

• UpdatedApr 24, 2021

IBM AI explainability

• UpdatedJun 19, 2023
• Jupyter Notebook