TorchLean: Formalizing Neural Networks in Lean

Alpha This system is experimental. Scores and classifications are early-stage research and may be unreliable. Methodology →

Model: @cf/meta/llama-4-scout-17b-16e-instruct lite ND @cf/meta/llama-3.3-70b-instruct-fp8-fast lite ND @cf/meta/llama-4-scout-17b-16e-instruct lite 0.00 @cf/meta/llama-3.3-70b-instruct-fp8-fast lite 0.00 @cf/qwen/qwen3-30b-a3b-fp8 lite ND @cf/qwen/qwen3-30b-a3b-fp8 lite ND openai/gpt-oss-120b:free lite ND google/gemma-3-27b-it:free lite ND qwen/qwen3-coder:free lite ND Compare

ND	TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
	104 points by matt_d 9 days ago \| 20 comments on HN ~lite vlite-2.0

Summary ~lite

Formalizing neural networks in Lean for enhanced verification and analysis.

Lite evaluation by llama-4-scout-wai-psq · editorial channel only · no per-section breakdown available

Longitudinal 587 HN snapshots · 135 evals

Audit Trail 155 entries

2026-03-06 17:50	eval_success	PSQ evaluated: g-PSQ=0.280 (3 dims)	- -
2026-03-06 17:50	eval	Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive) 0.00
2026-03-06 17:33	eval_success	PSQ evaluated: g-PSQ=0.321 (3 dims)	- -
2026-03-06 17:33	eval	Evaluated by llama-3.3-70b-wai-psq: +0.32 (Moderate positive) -0.00
2026-03-06 04:22	eval_success	PSQ evaluated: g-PSQ=0.322 (3 dims)	- -
2026-03-06 04:22	eval	Evaluated by llama-3.3-70b-wai-psq: +0.32 (Moderate positive) +0.00
2026-03-05 22:49	eval_success	PSQ evaluated: g-PSQ=0.280 (3 dims)	- -
2026-03-05 22:49	eval	Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive) 0.00
2026-03-05 22:43	eval_success	PSQ evaluated: g-PSQ=0.280 (3 dims)	- -
2026-03-05 22:43	eval	Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive) 0.00
2026-03-05 16:09	eval_success	PSQ evaluated: g-PSQ=0.321 (3 dims)	- -
2026-03-05 16:09	eval	Evaluated by llama-3.3-70b-wai-psq: +0.32 (Moderate positive) 0.00
2026-03-05 08:26	eval_success	PSQ evaluated: g-PSQ=0.280 (3 dims)	- -
2026-03-05 08:26	eval	Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive) 0.00
2026-03-05 07:08	eval_success	PSQ evaluated: g-PSQ=0.321 (3 dims)	- -
2026-03-05 07:08	eval	Evaluated by llama-3.3-70b-wai-psq: +0.32 (Moderate positive) 0.00
2026-03-05 04:54	eval_success	PSQ evaluated: g-PSQ=0.280 (3 dims)	- -
2026-03-05 04:54	eval	Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive) 0.00
2026-03-05 04:49	eval_success	PSQ evaluated: g-PSQ=0.280 (3 dims)	- -
2026-03-05 04:49	eval	Evaluated by llama-4-scout-wai-psq: +0.28 (Mild positive)
2026-03-05 04:32	eval_success	PSQ evaluated: g-PSQ=0.321 (3 dims)	- -
2026-03-05 04:32	eval	Evaluated by llama-3.3-70b-wai-psq: +0.32 (Moderate positive)
2026-03-05 04:12	eval_success	Lite evaluated: Neutral (-0.08)	- -
2026-03-05 04:12	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-05 04:12	rater_validation_warn	Lite validation warnings for model llama-4-scout-wai: 1W 0R	- -
2026-03-05 04:08	eval_success	Lite evaluated: Neutral (-0.06)	- -
2026-03-05 04:08	rater_validation_warn	Lite validation warnings for model llama-3.3-70b-wai: 1W 0R	- -
2026-03-05 04:08	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-05 03:37	eval_success	Lite evaluated: Neutral (-0.08)	- -
2026-03-05 03:37	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-05 03:37	rater_validation_warn	Lite validation warnings for model llama-4-scout-wai: 1W 0R	- -
2026-03-05 03:29	eval_success	Lite evaluated: Neutral (-0.06)	- -
2026-03-05 03:29	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-05 03:29	rater_validation_warn	Lite validation warnings for model llama-3.3-70b-wai: 1W 0R	- -
2026-03-05 02:54	eval_success	Lite evaluated: Neutral (-0.08)	- -
2026-03-05 02:54	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-05 02:50	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-05 02:14	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-05 02:11	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-05 01:39	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-05 01:35	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-05 01:00	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-05 00:56	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) +0.02
	reasoning Technical paper on neural networks
2026-03-05 00:22	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-05 00:14	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) -0.02
	reasoning Technical paper on neural networks
2026-03-05 00:09	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) +0.02
	reasoning Technical paper on neural networks
2026-03-04 23:44	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 23:39	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 23:32	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 22:56	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 22:52	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 22:15	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 22:10	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 21:45	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 21:39	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 21:05	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 21:00	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 20:55	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 20:23	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 20:21	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 20:18	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 19:40	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 19:34	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 19:28	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 18:27	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 18:26	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 17:06	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 17:04	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 16:15	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 16:13	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 15:37	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 15:33	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 15:28	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 15:02	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) -0.02
	reasoning Technical paper on neural networks
2026-03-04 14:50	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 14:21	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) +0.02
	reasoning Technical paper on neural networks
2026-03-04 14:17	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 14:09	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 14:03	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 13:37	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 13:25	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 13:04	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 13:00	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 12:49	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 12:20	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 12:15	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 12:06	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 11:39	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 11:34	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 11:21	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 11:15	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 10:49	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) -0.02
	reasoning Technical paper on neural networks
2026-03-04 10:32	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 10:11	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) +0.02
	reasoning Technical paper on neural networks
2026-03-04 09:57	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 09:32	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 09:27	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) -0.02
	reasoning Technical paper on neural networks
2026-03-04 09:16	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 08:51	eval	Evaluated by llama-3.3-70b-wai: -0.06 (Neutral) +0.02
	reasoning Technical paper on neural networks
2026-03-04 08:33	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 08:14	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 08:09	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 08:04	eval	Evaluated by llama-4-scout-wai: -0.08 (Neutral) -0.14
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 07:37	eval	Evaluated by llama-3.3-70b-wai: -0.08 (Neutral) -0.16
	reasoning Technical paper on neural networks
2026-03-04 07:25	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 07:02	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 06:17	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 05:51	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 05:41	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 05:10	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 04:55	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 04:26	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 04:13	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 03:54	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 03:49	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 03:40	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 03:36	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 03:12	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 03:05	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 02:32	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 02:26	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 02:20	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 01:53	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 01:45	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 01:15	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 01:08	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 01:03	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-04 00:37	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 00:32	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-04 00:23	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 23:53	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
	reasoning Technical paper on neural networks
2026-03-03 23:47	eval	Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
	reasoning Technical paper on neural networks
2026-03-03 23:41	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 23:10	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
	reasoning Technical paper on neural networks
2026-03-03 23:05	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 23:04	eval	Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
	reasoning Technical paper on neural networks
2026-03-03 22:35	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-03 22:35	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 22:30	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-03 22:03	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 21:41	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
	reasoning Technical paper on neural networks
2026-03-03 21:33	eval	Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
	reasoning Technical paper on neural networks
2026-03-03 21:04	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 21:01	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-03 20:27	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 20:25	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-03 19:51	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 19:50	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-03 19:04	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) +0.03
	reasoning Technical paper on neural networks
2026-03-03 19:03	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 18:23	eval	Evaluated by llama-3.3-70b-wai: +0.05 (Neutral) -0.03
	reasoning Technical paper on neural networks
2026-03-03 18:20	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral) 0.00
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 18:18	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral) 0.00
	reasoning Technical paper on neural networks
2026-03-03 17:49	eval	Evaluated by llama-4-scout-wai: +0.06 (Neutral)
	reasoning Technical paper on formalizing neural networks, no human rights discussion
2026-03-03 17:48	eval	Evaluated by llama-3.3-70b-wai: +0.08 (Neutral)
	reasoning Technical paper on neural networks

build 35d02a3+aiqm · deployed 2026-03-09 11:48 UTC · evaluated 2026-03-08 02:36:46 UTC