Logic-1 Probability Prediction on Sequential AIG
0.997R2TRACE
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| TRACEModel Type=TRACE2025.09 | 0.997 | 0.009 | |
| DeepSeq2Model Type=Message Passing Neural Network2025.09 | 0.979 | 0.025 | |
| GraphGPSModel Type=Graph Transformer2025.09 | 0.971 | 0.026 | |
| GINModel Type=Message Passing Neural Network2025.09 | 0.962 | 0.035 | |
| GraphSAGEModel Type=Message Passing Neural Network2025.09 | 0.927 | 0.048 | |
| SGFormerModel Type=Graph Transformer2025.09 | 0.878 | 0.056 | |
| GATModel Type=Message Passing Neural Network2025.09 | 0.877 | 0.053 | |
| GCNModel Type=Message Passing Neural Network2025.09 | 0.868 | 0.064 | |
| DIFFormerModel Type=Graph Transformer2025.09 | 0.701 | 0.097 |