0.00 Autoresearch for SAT Solvers (github.com)
167 points by chaisan 6 days ago | 32 comments on HN | Neutral ~lite vlite-1.6
Summary ~lite Neutral
GitHub page about an AI agent learning to solve SAT problems
EQ 0.00
SO 0.00
TD 0.00
Lite evaluation by llama-4-scout-wai · editorial channel only · no per-section breakdown available
Longitudinal 490 HN snapshots · 126 evals
+1 0 −1 HN
Audit Trail 146 entries
2026-03-22 02:09 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-22 02:09 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-22 02:09 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-22 01:04 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-22 01:04 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-22 01:00 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-22 01:00 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-22 01:00 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-21 23:42 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-21 23:42 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-21 23:26 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-21 23:26 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-21 23:26 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-21 22:29 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-21 22:29 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-21 22:08 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-21 22:08 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-21 22:08 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-21 20:42 eval_success PSQ evaluated: g-PSQ=0.600 (3 dims) - -
2026-03-21 20:42 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.13
2026-03-21 20:26 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-21 20:26 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-21 20:26 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-20 22:31 eval_success PSQ evaluated: g-PSQ=0.470 (3 dims) - -
2026-03-20 22:31 eval Evaluated by llama-4-scout-wai-psq: +0.47 (Moderate positive) +0.01
2026-03-20 22:11 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-20 22:11 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 22:11 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-20 21:33 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-20 21:33 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 21:33 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-20 21:30 eval_success PSQ evaluated: g-PSQ=0.464 (3 dims) - -
2026-03-20 21:30 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-20 20:57 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 20:52 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 20:22 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 20:15 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 19:46 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 19:38 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-20 18:36 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 18:25 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-20 18:01 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 17:36 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 17:08 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 16:18 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 15:53 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 15:38 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-20 15:11 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 14:54 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) 0.00
2026-03-20 14:34 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 14:17 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-20 13:59 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 13:39 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.13
2026-03-20 13:25 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 13:04 eval Evaluated by llama-4-scout-wai-psq: +0.47 (Moderate positive) -0.13
2026-03-20 12:48 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 12:22 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 12:09 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 11:43 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 11:28 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 11:03 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-20 10:49 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 10:27 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-20 10:12 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 09:48 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 09:34 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 09:09 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 08:54 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 08:28 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 08:15 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 07:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.13
2026-03-20 07:35 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 07:07 eval Evaluated by llama-4-scout-wai-psq: +0.47 (Moderate positive) -0.13
2026-03-20 06:55 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 06:27 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.13
2026-03-20 06:14 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 05:51 eval Evaluated by llama-4-scout-wai-psq: +0.47 (Moderate positive) -0.13
2026-03-20 05:39 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 05:15 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.13
2026-03-20 05:04 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 04:40 eval Evaluated by llama-4-scout-wai-psq: +0.47 (Moderate positive) -0.13
2026-03-20 04:29 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 04:05 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-20 03:54 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 03:30 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-20 03:19 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 02:52 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 02:39 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 02:12 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 02:01 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 01:46 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 01:39 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 01:02 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-20 00:58 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-20 00:29 eval Evaluated by llama-3.3-70b-wai-psq: 0.00 (Neutral)
2026-03-20 00:25 eval Evaluated by llama-3.3-70b-wai: 0.00 (Neutral)
reasoning
Technical content, zero rights discussion
2026-03-19 23:56 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 23:50 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 23:15 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 22:57 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 22:25 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 21:56 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 21:19 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) 0.00
2026-03-19 20:47 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 20:00 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 19:27 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 18:47 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-19 18:15 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 17:30 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 17:11 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 16:17 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 15:56 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 15:01 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 14:36 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 13:38 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 13:17 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 12:58 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 12:36 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 12:17 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 11:58 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 11:35 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 11:22 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 10:58 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 10:46 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 10:17 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 10:06 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 09:41 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 09:29 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 09:01 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-19 08:52 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 08:23 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 08:14 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 07:44 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 07:36 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 07:06 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-19 07:01 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 06:30 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-19 06:28 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 05:52 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) +0.14
2026-03-19 05:51 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 05:09 eval Evaluated by llama-4-scout-wai-psq: +0.46 (Moderate positive) -0.14
2026-03-19 05:09 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 03:59 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive) 0.00
2026-03-19 03:59 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion
2026-03-19 02:36 eval Evaluated by llama-4-scout-wai-psq: +0.60 (Strong positive)
2026-03-19 02:36 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral)
reasoning
Technical GitHub page about an AI agent for SAT Solvers, no human rights discussion