v0.1.0 — Initial Release

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