fastapi uvicorn sympy math-verify[antlr4_13_2] datasets sentence-transformers faiss-cpu