cbmm Goto Github PK

annotation-widget

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)

cbaas

Center for Brains Minds and Machines as a Service

cbmm-memo-cover

latex class and template for CBMM memo cover

cbmm.github.io

CBMM Software Core Page

cdfsl-benchmark

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

cochleagram

Cochlear sound spectrum

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

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

dotty

That dot game for JT lab - Josh Rule/Spelke too

drawcopy

Character stroke-order widget

dspace-drupal

Drupal module binding to MIT's DSpace repository

eccentricity

implementation of eccentricity-dependent model for object recognition

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

formalml

Formalization of Machine Learning Theory with Applications to Program Synthesis

gamepad

A Learning Environment for Theorem Proving

generalization-puzzles-in-deep-networks-1

journal

Journal of Brains Minds and Machines

lean-python-bindings

Python Bindings to the Lean Theorem Prover http://leanprover.github.io/

learn2learn

A PyTorch Library for Meta-learning Research

mathematics_dataset

mibrposter

CBMM Poster for the McGovern Institute scientific advisory board

nlab

Source code for the nLab

nlp_seq2seq_models

petersonfaces

plugin-tutorial

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