Pinned Repositories
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
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
protein_protein_interaction
Multiple experiment to determine how to best use the MSA Transformer for the task of protein protein interaction prediction.
axelmarmet's Repositories
axelmarmet/protein_protein_interaction
Multiple experiment to determine how to best use the MSA Transformer for the task of protein protein interaction prediction.
axelmarmet/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
axelmarmet/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
axelmarmet/brainfuck-compiler
axelmarmet/code-transformer
Implementation of the paper "Language-agnostic representation learning of source code from structure and context".
axelmarmet/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
axelmarmet/cv
axelmarmet/EfficientZero
Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.
axelmarmet/firrtl
Flexible Intermediate Representation for RTL
axelmarmet/FV_boot
Formally verify using operational semantics an assembly program running in system mode
axelmarmet/gameboy-compiler
axelmarmet/intermediary-presentation
axelmarmet/lisa
axelmarmet/lisa_gym
axelmarmet/lm-evaluation-harness
A framework for few-shot evaluation of autoregressive language models.
axelmarmet/ResumeOrganizer
axelmarmet/sdp_bootcamp
axelmarmet/style-transfer
axelmarmet/tabby
Self-hosted AI coding assistant
axelmarmet/tensorflow
An Open Source Machine Learning Framework for Everyone
axelmarmet/transformer-deploy
Efficient, scalable and enterprise-grade CPU/GPU inference server for 🤗 Hugging Face transformer models 🚀
axelmarmet/vigor
Main repository of the Vigor NF verification project.
axelmarmet/X86-64-semantics
Semantics of x86-64 in K