Pinned Repositories
APIDoc
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
deepmath
Jupyter environment for experimenting with deephol
mathematics_dataset
This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.
neural-logic-machines
Implementation for the Neural Logic Machines (NLM).
numnet_plus
This is the official code repository for NumNet+(https://leaderboard.allenai.org/drop/submission/blu418v76glsbnh1qvd0)
proverbot9001
roosterize
Tool for suggesting lemma names in Coq verification projects
Set-Theory
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory
sonic-s-lab
just a coding lab
Desperatesonic's Repositories
Desperatesonic/APIDoc
Desperatesonic/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
Desperatesonic/deepmath
Jupyter environment for experimenting with deephol
Desperatesonic/mathematics_dataset
This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.
Desperatesonic/neural-logic-machines
Implementation for the Neural Logic Machines (NLM).
Desperatesonic/numnet_plus
This is the official code repository for NumNet+(https://leaderboard.allenai.org/drop/submission/blu418v76glsbnh1qvd0)
Desperatesonic/proverbot9001
Desperatesonic/roosterize
Tool for suggesting lemma names in Coq verification projects
Desperatesonic/Set-Theory
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory
Desperatesonic/sonic-s-lab
just a coding lab
Desperatesonic/trade_agent