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

Search, tagged.

Notes5TagSearchOldest23 May 2026Newest21 Sept 2026

Every article tagged search, newest first.

  1. C01
    Automated Conjecturing
    AI For MathematicsDiscoverySearch+1
    · 27′
  2. C02
    Tree Search over Agent Trajectories (LATS)
    Agent EngineeringPlanningSearch+2
    · 16′
  3. C03
    Inference-Time Architecture Search
    Test Time ComputeInference ScalingLLM Architecture+2
    · 12′
  4. C04
    Selection Under a Submission Budget
    Test Time ComputeInference ScalingSearch+2
    · 15′
  5. C05
    Evolutionary Proof Search
    AI For MathematicsAgent EngineeringSearch
    · 25′