These projects were built by students of BSc in Computer Science and Artificial Intelligence.

Search>Source>CSAI>

embedding graph, showing tasks classified by topics

Generating Astronomy Olympiad Problems

Toward Better Depth Lower Bounds: Composition of Boolean Functions and the KRW Conjecture

robots on a road with markings

Duckiebot Autonomous Driving Stack

an illustration of a boolean circuit

IWLS 2025 Competition on Boolean Circuit Synthesis

diagram from a book

Jahnke—Emde Style Plots

pipeline diagram

Manifold Learning: Geometric Structure Recovery Methods for Evolutionary Space Research

search interface showing "hard number theory problems for 9 grade"

Problem Café: STEM Problem Searcher

Direct data transfer from NVMe drives to GPU VRAM via P2P DMA, bypassing the CPU.

RAID Operations on GPU with OpenCL

robotic arm illustration

Tic-tac-toe with Robot Arm