Skip to content

Planning, reasoning, and verification

All topics · Alphabetical index

Concepts

  • Task decomposition; dependency-aware planning; replanning
  • Hypothesis generation; evidence gathering; external verification
  • Critique-revision loops; generator-verifier pattern
  • Correlated errors; independent verification; consistency checks
  • Constraint checking; source verification; executable checks
  • Tests; validators; database queries; artifact inspection
  • Abstention; confidence calibration; clarification
  • Plausibility; demonstrated correctness; completion evidence

Further reading

Reference links for this topic.