Pinned Loading
-
limac246/brainActivity2024
limac246/brainActivity2024 PublicProject on detecting harmful brain activity based on Kaggle project (Erdos Institute, Spring 2024)
Jupyter Notebook 3
-
jableable/proof-truth
jableable/proof-truth PublicEnd-to-end GNN pipeline for Metamath theorem graphs using GIN and NLP embeddings, reaching 70% Top-5 accuracy in predicting missing proof steps.
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.