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

Model Comparison

Model	Editorial	Structural	Class	Conf	SETL	Theme
@cf/meta/llama-4-scout-17b-16e-instruct lite	ND	ND	—	0.87	—	—
@cf/meta/llama-3.3-70b-instruct-fp8-fast lite	ND	ND	—	0.92	—	—
@cf/meta/llama-4-scout-17b-16e-instruct lite	0.00	-0.20	Neutral	1.00	0.20	Technology Research
@cf/meta/llama-3.3-70b-instruct-fp8-fast lite	0.00	-0.20	Neutral	0.80	0.20	Neural Networks
@cf/qwen/qwen3-30b-a3b-fp8 lite	ND	ND	—	—	—	—
@cf/qwen/qwen3-30b-a3b-fp8 lite	ND	ND	—	—	—	—
openai/gpt-oss-120b:free lite	ND	ND	—	—	—	—
google/gemma-3-27b-it:free lite	ND	ND	—	—	—	—
qwen/qwen3-coder:free lite	ND	ND	—	—	—	—

Section	@cf/meta/llama-4-scout-17b-16e-instruct lite	@cf/meta/llama-3.3-70b-instruct-fp8-fast lite	@cf/meta/llama-4-scout-17b-16e-instruct lite	@cf/meta/llama-3.3-70b-instruct-fp8-fast lite	@cf/qwen/qwen3-30b-a3b-fp8 lite	@cf/qwen/qwen3-30b-a3b-fp8 lite	openai/gpt-oss-120b:free lite	google/gemma-3-27b-it:free lite	qwen/qwen3-coder:free lite
Preamble	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 1	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 2	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 3	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 4	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 5	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 6	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 7	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 8	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 9	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 10	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 11	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 12	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 13	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 14	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 15	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 16	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 17	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 18	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 19	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 20	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 21	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 22	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 23	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 24	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 25	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 26	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 27	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 28	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 29	ND	ND	ND	ND	ND	ND	ND	ND	ND
Article 30	ND	ND	ND	ND	ND	ND	ND	ND	ND

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