| |
Alpha This system is experimental. Scores and classifications are early-stage research and may be unreliable. Methodology → |
|
| Summary ~lite The article discusses barriers to widespread adoption of formal methods in software engineering.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
| |
Longitudinal
· 4 evals | |
Audit Trail
10 entries | 2026-03-05 18:52 | eval_success | PSQ evaluated: g-PSQ=0.120 (3 dims) | - - | | 2026-03-05 18:52 |
eval
|
Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) | | | 2026-03-05 18:47 | eval_success | PSQ evaluated: g-PSQ=0.481 (3 dims) | - - | | 2026-03-05 18:47 |
eval
|
Evaluated by llama-3.3-70b-wai-psq: +0.48 (Moderate positive) | | | 2026-02-28 12:33 | rater_validation_warn | Lite validation warnings for model llama-4-scout-wai: 0W 1R | - - | | 2026-02-28 12:33 | eval_success | Lite evaluated: Neutral (0.00) | - - | | 2026-02-28 12:33 |
eval
|
Evaluated by llama-4-scout-wai: 0.00 (Neutral) | | | reasoning ED, neutral tech discussion on formal methods | | 2026-02-28 12:30 | eval_success | Lite evaluated: Neutral (0.00) | - - | | 2026-02-28 12:30 | rater_validation_warn | Lite validation warnings for model llama-3.3-70b-wai: 0W 1R | - - | | 2026-02-28 12:30 |
eval
|
Evaluated by llama-3.3-70b-wai: 0.00 (Neutral) | | | reasoning Technical discussion no rights stance | | |
| |