Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View GerbenKoopman's full-sized avatar
3 followers · 8 following

Highlights

  • Pro

Block or report GerbenKoopman

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
GerbenKoopman/README.md

Hi there ! I'm Gerben Koopman

  • 🤖   AI/ML Researcher & Engineer
  • 🧠   Focused on Reinforcement Learning, Geometric Deep Learning, and Interpretability
  • ⚡   Check my website
  • 👨🏻‍💻   Most of my projects are available on Github and in my portfolio
  • 🏢   Founder at Koopman-AI-Technologies
  • 🌍   Based in Amsterdam, Netherlands
  • 📫   You can reach me via LinkedIn

Whole codebase

most used languages

AI codebase

AI focused languages

Skills

Python C# JavaScript PyTorch TensorFlow .NET Azure React Next.js HTML5 CSS3 Git Docker

Featured Projects

🚀 GeoErwin

An E(3)-equivariant, Erwin-inspired transformer model with sub-quadratic attention complexity for geometric deep learning applications.

🎯 LeanReinforcement

A Hierarchical Reinforcement Learning Agent for Automatic Theorem Proving in Lean - bridging the gap between AI and formal mathematics.

Socials

Pinned Loading

  1. GeoErwin GeoErwin Public

    Forked from maxxxzdn/erwin

    GeoErwin: an E(3)-equivariant, Erwin-inspired transformer model with sub-quadratic attention complexity

    Python 1

  2. LeanReinforcement LeanReinforcement Public

    LeanReinforcement: An MCTS RL agent for Automatic Theorem Proving in Lean

    Python

  3. GerbenKoopman.github.io GerbenKoopman.github.io Public

    HTML

  4. Koopman-AI-Technologies/Koopman-AI-Technologies.github.io Koopman-AI-Technologies/Koopman-AI-Technologies.github.io Public

    HTML