AdLucem

computational-semantics

Notes and implementation from the book "Computational Semantics With Functional Programming"

formaltest

Various experiments with formal languages and neural networks.

keyword-search

Given a text, search for keywords

program-verification-with-lean

Open notes for the course Program Verification

autognomy

Gnome desktop manipulation - automated via the command line

feverous-code

Work on the FEVEROUS shared task (in progress)

hasktorch

Tensors and neural networks in Haskell

infotabs-code

Implementation of the semi-structured inference model in our ACL 2020 paper, INFOTABS: Inference on Tables as Semi-structured Data.

multilingual-word-embeddings

NLP Project: Multilingual word embeddings

AdLucem.github.io

bayesian-approach-to-toxicity

birl_homework

captum

Model interpretability and understanding for PyTorch

cave-diving-with-bco

Going cave diving in MineRL with BCO

datagen

Generate simulated data for ML models

DPR

Dense Passage Retriever - is a set of tools and models for open domain Q&A task.

economancy

funflow

Functional workflows

funflow-ml-examples

Examples of funflow with ML tasks

imitation_learning

just-augment-it

Different techniques for data augmentation

llamashell

Interactive command-line chat using llama.cpp and python-llama-cpp

mdp-haskell

Markov Decision Processes in Haskell

mineplot

Uses the Waystones mod to copy structures from one minecraft world to another

program-verification

PyABSA

Open Framework for Aspect-based Sentiment Analysis based on state-of-the-art Models

RASP

An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"

rlhf_homework

Homework for playing around with RLHF basics on CartPole

RNN_to_PRS_CFG

Implementation of TACAS 2021 paper, "Extrapolating CFGs from RNNs"

topics-in-ml-project