Krystof Mitka

Work

Projects

Blog

Resume

Krystof Mitka

Krystof Mitka

Work

Projects

Blog

Resume

Mathematics ∩
Computer Science.

Mathematics ∩ Computer Science

Recently completed bachelor degrees in Applied Mathematics and Computer Science. This website serves as an archive and highlight of my work in the space of bits & tokens.

Currently completing undergraduate double degree in Applied Mathematics and Computer Science & working on medical AI @macromo.

Projects

Extracting a Production Language Model

Bachelor Thesis

Improving efficiency of extracting the full logit distribution from OpenAI using the bias map and normal distribution as prior.

Read Blog

Extracting a Production Language Model

Bachelor Thesis

Improving efficiency of extracting the full logit distribution from OpenAI using the bias map and normal distribution as prior.

Read Blog

Extracting a Production Language Model

Bachelor Thesis

Improving efficiency of extracting the full logit distribution from OpenAI using the bias map and normal distribution as prior.

Read Blog

RLHF Trojan Detection LLM Competition

2nd Place

2000$ Award

Finding RLHF Trojans in Large Language Models in a competition organized by ETH Zurich and IEEE SaTML Conference.

Paper

Submission

RLHF Trojan Detection LLM Competition

2nd Place

2000$ Award

Finding RLHF Trojans in Large Language Models in a competition organized by ETH Zurich and IEEE SaTML Conference.

Paper

Submission

RLHF Trojan Detection LLM Competition

2nd Place

2000$ Award

Finding RLHF Trojans in Large Language Models in a competition organized by ETH Zurich and IEEE SaTML Conference.

Paper

Submission

Statistical Analysis of the Poverty index

Project within the statistics class, testing out learned tools to draw few conclusions from the Poverty Index provided by the United Nations Data website.

Read Paper

View Code

Statistical Analysis of the Poverty index

R

Project within the statistics class, testing out learned tools to draw few conclusions from the Poverty Index provided by the United Nations Data website.

Read Paper

View Code

Statistical Analysis of the Poverty index

Project within the statistics class, testing out learned tools to draw few conclusions from the Poverty Index provided by the United Nations Data website.

Read Paper

View Code

Modeling Wavy Waters of Walsoorden

Predicting the water levels of Walsoorden with Fourier analysis by iteratively adding fourier coefficients from the signal.

Read Paper

View code

Modeling Wavy Waters of Walsoorden

Python

Predicting the water levels of Walsoorden with Fourier analysis by iteratively adding fourier coefficients from the signal.

Read Paper

View code

Modeling Wavy Waters of Walsoorden

Predicting the water levels of Walsoorden with Fourier analysis by iteratively adding fourier coefficients from the signal.

Read Paper

View code

Graph Isomorphism resolution

1st Place

Created an algorithm to find graph isomorphism and automorphism. We won the module wide competition with our algorithm by solving the most amount of isomorphisms within a time limit.

View code

Graph Isomorphism resolution

1st Place

Python

Created a complex algorithm to find graph isomorphism and automorphism. Won the university wide competition with our algorithm by solving the most amount of isomorphisms within a time limit.

View code

Graph Isomorphism resolution

1st Place

Created an algorithm to find graph isomorphism and automorphism. We won the module wide competition with our algorithm by solving the most amount of isomorphisms within a time limit.

View code

System for Container Ship Port Control

Award: Best Project

Developed a new interface for controlling container ship port. Made an optimization algorithm to schedule all ships automatically to specific docks within the port.

View code

System for Container Ship Port Control

Award: Best Project

Developed a new interface for controlling container ship port. Made an optimization algorithm to schedule all ships automatically to specific docks within the port.

View code

System for Container Ship Port Control

Award: Best Project

Developed a new interface for controlling container ship port. Made an optimization algorithm to schedule all ships automatically to specific docks within the port.

View code

Counting calories with image recognition

Researched an automated way of tracking calories by clasifying food items and estimating their weight. Created a mobile app concept that was tested on multiple user groups.

View code

Counting calories with image recognition

Researched an automated way of tracking calories by clasifying food items and estimating their weight. Created a mobile app concept that was tested on multiple user groups.

View code

Counting calories with image recognition

Researched an automated way of tracking calories by clasifying food items and estimating their weight. Created a mobile app concept that was tested on multiple user groups.

View code

3D Hypergraph modelling and evolution

Highschool Thesis

Developed a 3d web model of the hypergraph evolution proposed by the Wolfram Physics project.

Read Paper

View Code

3D Hypergraph modelling and evolution

Highschool Thesis

Developed a 3d web model of the hypergraph evolution proposed by the Wolfram Physics project.

Read Paper

View Code

3D Hypergraph modelling and evolution

Highschool Thesis

Developed a 3d web model of the hypergraph evolution proposed by the Wolfram Physics project.

Read Paper

View Code

ViewAI

RAG

swift

swift

embeddings

embeddings

Native MacOS app for viewing and chatting with scientific literature. Combining Nougat, Latex, GPT4 and vector embeddings.

DataPump

react

express

express

nodejs

nodejs

typescript

typescript

aggrid

aggrid

Developed an AI shopify app that based on PDF invoices creates products for merchants, automating product creation.

Macromo App

@macromo

react native

react native

expo

expo

strappi

strappi

typescript

typescript

Helped to ship features to the new overall risk score results way of viewing DNA & Blood data.

shop.macromo.com

@macromo

liquid

liquid

sass

sass

shopify

shopify

Created a custom shopify theme and optimized for expansion to European markets.

endemithotel.cz

@freelance

webflow

webflow

figma

figma

Designed and developed a digital presence for one of the leading hotels of the Moravian region.

Undout App

@undout

dart

dart

flutter

flutter

esp32

esp32

Led the developement of Flutter app that connected to a hardware product called Sleep Box.

undout.com

@undout

liquid

liquid

sass

sass

shopify

shopify

Developed a website & ecommerce digital presence for my own startup Undout.

3dhypergraph.com

@highschool

svelte

svelte

treejs

treejs

webgl

webgl

typescript

typescript

Simulated the wolfram hypergraph evolution in 3 dimensions on web with webgl.

addictrave.com

@mangoweb

nette

nette

php

php

typescript

typescript

awwwards

awwwards

Made an award wining website for the biggest rave in central europe and took part in making secret events.

purple-technology.com

@mangoweb

nette

nette

php

php

sass

sass

typescript

typescript

Developed a stunning website for one of the biggest technlogy company in Czechia.

6clickz.com

@mangoweb

nette

nette

php

php

sass

sass

Coded a unique looking website for a small marketing company specializing on PPC.

kaprain.cz

@mangoweb

nette

nette

php

php

sass

sass

Created a website for the largest investement company from Prague covering nearly 2bn USD in assets.

jakbytlepsi.cz

@mangoweb

nette

nette

php

php

sass

sass

Made a simple Forbes website on how to be better everyday with short tips.

artmap.cz

@mangoweb

nette

nette

php

php

sass

sass

Migrated data and took part in creating a website for one of the biggest crossroads of art collections in europe.

Work

Projects

Resume

krystof@mitka.cz