Pinned Repositories
Algorithmic-Pseudocode
This repository contains the pseudocode(pdf) of various algorithms and data structures necessary for Interview Preparation and Competitive Coding
aws-batch-comp-infrastructure-sample
axiom_caption
cactus_plot
A Python script to create cactus and scatter plots based on matplotlib
cs230-code-examples
Code examples in pyTorch and Tensorflow for CS230
EdvardHolden
eprover
Focal-Loss-implement-on-Tensorflow
The implementation of focal loss proposed on "Focal Loss for Dense Object Detection" by KM He and support for multi-label dataset.
gnn-entailment
Graph Neural Networks for Logical Entailment
gnn-entailment-caption
EdvardHolden's Repositories
EdvardHolden/gnn-entailment-caption
EdvardHolden/axiom_caption
EdvardHolden/Algorithmic-Pseudocode
This repository contains the pseudocode(pdf) of various algorithms and data structures necessary for Interview Preparation and Competitive Coding
EdvardHolden/aws-batch-comp-infrastructure-sample
EdvardHolden/cactus_plot
A Python script to create cactus and scatter plots based on matplotlib
EdvardHolden/cs230-code-examples
Code examples in pyTorch and Tensorflow for CS230
EdvardHolden/EdvardHolden
EdvardHolden/eprover
EdvardHolden/Focal-Loss-implement-on-Tensorflow
The implementation of focal loss proposed on "Focal Loss for Dense Object Detection" by KM He and support for multi-label dataset.
EdvardHolden/gnn-entailment
Graph Neural Networks for Logical Entailment
EdvardHolden/learn-python-the-hard-way
Exercises related to the book "Learn Python The Hard Way"
EdvardHolden/MachineLearningStudyGroup
Workshops for the machine learning study group
EdvardHolden/pymfinder
EdvardHolden/PyRes
Pedagogical first-order prover in Python
EdvardHolden/stateful-premise-selection-with-RNNs
Copy of the paper repo. Trying to adapt it to the deepmath problems
EdvardHolden/stateful-premise-selection-with-transformers
Copy of the repo from the Swiss group. Adapting it to analyse the output
EdvardHolden/udemy_datascience
Resources and exercises form the Udemy course Data science and Machine Learning with Python
EdvardHolden/UGraphEmb
EdvardHolden/vimrc
The ultimate Vim configuration: vimrc