The Center for Brains, Minds and Machines

tacheles

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

snap-cluster-setup

evals-for-autoformalization

sentencepiece

Unsupervised text tokenizer for Neural Network-based text generation.

proverbot9001

coq_serapy

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

egg

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

plugin-tutorial

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

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

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

learn2learn

A PyTorch Library for Meta-learning Research

EfficientZero

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

thoughts-on-ai-for-theorem-proving

ultimate-anatome

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

nlab

Source code for the nLab

ultimate-utils

Brando's utils

pycoq

python API to coq-serapi

ARC

The Abstraction and Reasoning Corpus

FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis

CBMM.github.io

CBMM Software Core Page

annotation-widget

CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

Generalization-Puzzles-in-Deep-Networks-1

cdfsl-benchmark

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

aws-cv-task2vec

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

cochleagram

Cochlear sound spectrum

mathematics_dataset

gamepad

A Learning Environment for Theorem Proving

wiki

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

tensorflow-template

A skeleton project for working with tensorflow in Python