The Center for Brains, Minds and Machines

cochleagram

Cochlear sound spectrum

wiki

Wiki repository for CBMM; documentation for how to use our technologies and on-board as a new student

learn2learn

A PyTorch Library for Meta-learning Research

tensorflow-template

A skeleton project for working with tensorflow in Python

annotation-widget

CBMM.github.io

CBMM Software Core Page

Does-MAML-Only-Work-via-Feature-Re-use-A-Data-Set-Centric-Perspective

Does MAML Only Work via Feature Re-use? A Data Set Centric Perspective

FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis

gamepad

A Learning Environment for Theorem Proving

ultimate-anatome

Ἀνατομή is a PyTorch library to analyze representation of neural networks

ARC

The Abstraction and Reasoning Corpus

aws-cv-task2vec

Official code for the paper "Task2Vec: Task Embedding for Meta-Learning" (https://arxiv.org/abs/1902.03545, ICCV 2019)

cdfsl-benchmark

(ECCV 2020) Cross-Domain Few-Shot Learning Benchmarking System

coq_serapy

Python bindings for Coq Serapi. Primarily designed for use in Proverbot9001. Works for Coq versions 8.9-8.12.

CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

EfficientZero

Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.

egg

egg is a flexible, high-performance e-graph library

evals-for-autoformalization

Generalization-Puzzles-in-Deep-Networks-1

mathematics_dataset

nlab

Source code for the nLab

plugin-tutorial

Yet another plugin tutorial, this time as an exercise for 598

proverbot9001

pycoq

python API to coq-serapi

Reducing-Training-Time-with-More-Data-a-Review-18.409-project

sentencepiece

Unsupervised text tokenizer for Neural Network-based text generation.

snap-cluster-setup

tacheles

a lightweight, open-source blueprint for building powerful and scalable LLM chat applications

thoughts-on-ai-for-theorem-proving

ultimate-utils

Brando's utils