H
Howardism
Howardism · Vol. 03Plate I · No. 01

Verification, tagged.

Notes13TagVerificationOldest28 May 2026Newest1 Oct 2026

Every article tagged verification, newest first.

  1. C01
    Checkpoint-Gated Convergence
    AI Coding WorkflowVerificationCode Review+2
    · 15′
  2. C02
    Typed Decision Verifiers
    EvaluationVerificationLLM As A Judge+1
    · 20′
  3. C03
    ExecCritic: Learn to Test, Test to Improve
    Reinforcement LearningPost TrainingCode Generation+4
    · 16′
  4. C04
    Layered Supervision
    ReviewVerificationGuardrails+3
    · 30′
  5. C05
    Psychological Costs of AI Adoption
    OrganizationAdoptionDeveloper Experience+3
    · 30′
  6. C06
    Logical vs Intelligible Proof
    AI For MathematicsFormal MethodsPhilosophy Of Science+1
    · 20′
  7. S07
    The Data Wall and the Validation Commons Are One Supply Constraint
    DerivedData WallVerification+3
    · 22′
  8. C08
    RL from Execution Feedback (RLEF)
    Reinforcement LearningPost TrainingCode Generation+2
    · 16′
  9. C09
    Process vs Outcome Reward Models
    LLM EvaluationTest Time ComputeReward Modeling+2
    · 26′
  10. S10
    Verifying Without a Compiler: Cowork's Harness vs Claude Code's, and Why the Slice Verifier Stays
    DerivedVerificationCowork+2
    · 6′
  11. S11
    Where Does Agent Harness Work Remain Durable as Models Improve?
    HarnessAgent EngineeringVerification+1
    · 9′
  12. S12
    Human-in-the-Loop Boundaries
    DerivedHuman AI CollaborationVerification+2
    · 9′
  13. S13
    When Does Verification Quality Determine Whether AI Automation Works?
    DerivedVerificationAgent Engineering+2
    · 11′