Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@fariedabuzaid
fariedabuzaid authored Sep 20, 2023
1 parent 742e676 commit 2cd661b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# Veriflow: Generative Flow Based Density Estimators for Neuro-Symbolic Verification
VeriFow provides a stable and convenient library of flow based general purpose density models with flexibile base distributions,
which are specifically tailored towards the use in neuro-symbolic verification procedures. The major goal is to
provide models that can represent reference distribution which are suitable for verification,
provide models that can represent reference distributions which are suitable for verification,
abstract interpretation, and hypothesis testing simultaneously.
The implemented layer are carefully designed to guarntee the following properties:

Expand Down

0 comments on commit 2cd661b

Please sign in to comment.