We archive KI-Projekts of the KWARC group here.
The (Jekyll generated part) of the kwarc website
Related Work for FrameIT
The papers about MathWebSearch
Proposal (draft) for a COST action dedicated to mathematical data
Competition between python TicTacToe AIs