Certificate for automatlog – Semantic Search AI Hackathon