axelmarmet

protein_protein_interaction

Multiple experiment to determine how to best use the MSA Transformer for the task of protein protein interaction prediction.

griffon

Griffon is the combination of a novel transformer architecture and a Coq plugin that allows user to ask for useful lemma suggestions while trying to prove a theorem

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

brainfuck-compiler

code-transformer

Implementation of the paper "Language-agnostic representation learning of source code from structure and context".

CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

cv

EfficientZero

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

firrtl

Flexible Intermediate Representation for RTL

FV_boot

Formally verify using operational semantics an assembly program running in system mode

gameboy-compiler

intermediary-presentation

lisa

lisa_gym

lm-evaluation-harness

A framework for few-shot evaluation of autoregressive language models.

ResumeOrganizer

sdp_bootcamp

style-transfer

tabby

Self-hosted AI coding assistant

tensorflow

An Open Source Machine Learning Framework for Everyone

transformer-deploy

Efficient, scalable and enterprise-grade CPU/GPU inference server for 🤗 Hugging Face transformer models 🚀

vigor

Main repository of the Vigor NF verification project.

X86-64-semantics

Semantics of x86-64 in K