Name: Constantin Ruhdorfer
Type: User
Company: Stuttgart University
Bio: Ph. D. student of Computer Science at IMPRS-IS and University Stuttgart working at its HCI-CS group on Human-AI interaction and Machine Theory of Mind.
Twitter: CRuhdorfer
Location: Stuttgart
Blog: http://ruhdorfer.me
Constantin Ruhdorfer's Projects
A project for introducing Cassandra with Spark written in Scala.
This repo holds a cheatsheet containing everything related to field of mechanical theorem proving that is relevant to my work.
Script template for comparing two different eprover versions using pyprove http://www.eprover.org/.
A small C++ feed forward neural network using backpropagation written with the Eigen3 library.
Formula Student Objects in Context Dataset for the Formula Student Driverless competitions
A small library for representing graphs for the class of "Combinatorial Optimization" at Baden-Wuerttemberg Cooperative State University Stuttgart.
A few solutions for https://adventofcode.com/ in haskell.
Implementing graph libraries has become my new hello world...
My take on the titanic challenge on Kaggle unsing random forest classification https://www.kaggle.com/c/titanic.
Project of the Java class at DHBW Stuttgart in the summer semester of 2018.
PantheonRL is a package for training and testing multi-agent reinforcement learning environments. PantheonRL supports cross-play, fine-tuning, ad-hoc coordination, and more.
A small library for representing graphs for the class of "Combinatorial Optimization" at Baden-Wuerttemberg Cooperative State University Stuttgart. Yes https://github.com/ConstantinRuhdorfer/GraphLib exists, but a) It was too slow for the big inputs and b) I was challenged to make a functional version.
Reinforcement Learning course at the University of Stuttgart
My personal website (in developement!).
The Android front-end of the Suolo project which won first place at the coding competition of the dhbw summer school 2018.