Semantic Search AI Hackathon team: uiFormula