Model Comparison
Model Editorial Structural Class Conf SETL Theme
@cf/meta/llama-4-scout-17b-16e-instruct lite ND ND — 0.80 — —
@cf/meta/llama-4-scout-17b-16e-instruct lite 0.00 ND Neutral 1.00 0.00 Artificial Intelligence
@cf/meta/llama-3.3-70b-instruct-fp8-fast lite ND ND — 0.70 — —
@cf/meta/llama-3.3-70b-instruct-fp8-fast lite 0.00 ND Neutral 0.80 0.00 AI research
Section @cf/meta/llama-4-scout-17b-16e-instruct lite @cf/meta/llama-4-scout-17b-16e-instruct lite @cf/meta/llama-3.3-70b-instruct-fp8-fast lite @cf/meta/llama-3.3-70b-instruct-fp8-fast lite
Preamble ND ND ND ND
Article 1 ND ND ND ND
Article 2 ND ND ND ND
Article 3 ND ND ND ND
Article 4 ND ND ND ND
Article 5 ND ND ND ND
Article 6 ND ND ND ND
Article 7 ND ND ND ND
Article 8 ND ND ND ND
Article 9 ND ND ND ND
Article 10 ND ND ND ND
Article 11 ND ND ND ND
Article 12 ND ND ND ND
Article 13 ND ND ND ND
Article 14 ND ND ND ND
Article 15 ND ND ND ND
Article 16 ND ND ND ND
Article 17 ND ND ND ND
Article 18 ND ND ND ND
Article 19 ND ND ND ND
Article 20 ND ND ND ND
Article 21 ND ND ND ND
Article 22 ND ND ND ND
Article 23 ND ND ND ND
Article 24 ND ND ND ND
Article 25 ND ND ND ND
Article 26 ND ND ND ND
Article 27 ND ND ND ND
Article 28 ND ND ND ND
Article 29 ND ND ND ND
Article 30 ND ND ND ND
ND Mistral Releases Leanstral (mistral.ai)
623 points by Poudlardo 17 hours ago | 138 comments on HN ~lite vlite-2.0
Summary ~lite
Mistral AI releases Leanstral, an open-source code agent for Lean 4.
Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available
Longitudinal 532 HN snapshots · 42 evals
+1 0 −1 HN
Audit Trail 62 entries
2026-03-17 13:47 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 13:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 13:43 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 13:43 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 13:43 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 12:47 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 12:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 12:44 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 12:44 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 12:44 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 12:12 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 12:12 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 12:09 credit_exhausted Credit balance too low, pausing provider for 30 min - -
2026-03-17 12:06 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 12:06 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 12:06 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 11:35 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 11:35 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 11:31 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 11:31 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 11:31 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 10:56 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 10:56 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 10:54 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 10:54 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 10:54 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 10:22 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 10:22 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 10:18 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-17 10:18 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 10:18 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-17 09:41 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-17 09:41 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 09:39 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 09:07 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 09:05 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 08:29 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 08:26 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 07:52 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 07:51 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 07:17 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 07:17 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 06:42 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 06:42 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 06:07 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 06:07 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 05:32 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 05:32 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 04:57 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 04:57 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 04:22 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 04:22 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 03:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 03:47 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 03:12 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 03:12 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 00:48 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-17 00:47 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical content on AI and coding, no explicit human rights discussion
2026-03-17 00:05 eval Evaluated by llama-3.3-70b-wai-psq: +0.12 (Mild positive)
2026-03-17 00:01 eval Evaluated by llama-3.3-70b-wai: 0.00 (Neutral)
reasoning
Technical AI release announcement
2026-03-16 23:04 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive)
2026-03-16 23:04 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral)
reasoning
Technical content on AI and coding, no explicit human rights discussion