Sequent v0.1.0
Neural Formal Verification Engine — GNN proposes, Z3 disposes.
Model
- GATv2 (10.27M params) on edge-typed Code Property Graph
- Trained with NT-Xent contrastive loss + Z3 supervision
- 74% accuracy, 83% precision, 78% F1
Download
Download best_model.pt and place in checkpoints/ directory.
Install
pip install sequent-verify
sequent check your_file.py