Light

edvardholden Goto Github PK

followers: 1.0 following: 3.0 repos: 19.0 gists: 0.0

Name: eholden

Type: User

Hi there 👋

🎓 PhD Computer Science - The University of Manchester 💜

Researching the intersection of machine learning 🤖 and automated reasoning 🧠.

Developer of:

HOS-ML: heterogeneous instance optimisation and effective heuristic SCPeduling.
Axiom Captioning: Premise selection with language models via transfer learning on graph neural networks.

I am currently open to new projects in machine learning and data science, and I am open to connecting on LinkedIn .

Main interests:

Supervised Learning
Language Models
Clustering
Graph Neural Networks
Data Analysis
Performance Optimisation

Favourite tools:

Python 🐍
Tensorflow
Torch
scikit-learn
Jupyter 📔
Linux 🐧

eholden's Projects

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

learn-python-the-hard-way

Exercises related to the book "Learn Python The Hard Way"

machinelearningstudygroup

Workshops for the machine learning study group

pymfinder

pyres

Pedagogical first-order prover in Python

stateful-premise-selection-with-rnns

Copy of the paper repo. Trying to adapt it to the deepmath problems

stateful-premise-selection-with-transformers

Copy of the repo from the Swiss group. Adapting it to analyse the output

udemy_datascience

Resources and exercises form the Udemy course Data science and Machine Learning with Python

ugraphemb

vimrc

The ultimate Vim configuration: vimrc

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.