brando90 Goto Github PK

bibs

Annotated bibliographies.

bitsandbytes

8-bit CUDA functions for PyTorch

blackbox-backprop

Torch modules that wrap blackbox combinatorial solvers according to the method presented in "Differentiating Blackbox Combinatorial Solvers"

brain-tokyo-workshop

🧠🗼

brandomiranda

cca_zoo

Canonical Correlation Analysis Zoo: CCA, GCCA, MCCA, DCCA, DGCCA, DVCCA, DCCAE, KCCA and regularised variants. Deep models are implemented using Pytorch

cdfsl-benchmark

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

char-rnn-tensorflow

Multi-layer Recurrent Neural Networks (LSTM, RNN) for character-level language models in Python using Tensorflow

cheerios

Formally verified Coq serialization library with support for extraction to OCaml

cka-centered-kernel-alignment

Reproduce CKA: Similarity of Neural Network Representations Revisited

cka-similarity

An Numpy and PyTorch Implementation of CKA-similarity with CUDA support

clip

Contrastive Language-Image Pretraining

code-lms

Guide to using pre-trained large language models of source code

communicating-with-lean

Prototype of back-and-forth tactic application in Lean through an external program.

composer

Composing methods for ML training efficiency

compositionality_experiments_1d

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

coq-serapi-python

API for Coq using SerAPI

coq-tricks

Tricks you wish the Coq manual told you

coq2vec

A module for encoding coq terms into fixed-width vectors

coq_jupyter

Jupyter kernel for Coq

coq_serapy

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

coqast

Fun plugin to play with the Gallina AST.

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

coqtail

Interactive Coq Proofs in Vim

courses

fast.ai Courses

cs-324-advances-in-foundation-models

cs421