Pinned

1. griffon griffon Public

   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

   Python 1

2. FV_boot FV_boot Public

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

   Shell

3. protein_protein_interaction protein_protein_interaction Public

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

   Jupyter Notebook 2