-
-
ragas Public
Forked from explodinggradients/ragasEvaluation framework for your Retrieval Augmented Generation (RAG) pipelines
Python Apache License 2.0 UpdatedMar 7, 2024 -
-
-
CHCVerificationTool Public
A Tool for Verifying Programs using Constraint Horn Clauses
Scala UpdatedJul 21, 2022