Tactic-Based ITP Guidanceは他のアプローチよりもいくつかの利点があります。まず、高い適応性を持っています。証明探索に基本的な推論ステップを実行する代わりに、タクティックは幅広い種類の証明状態で適切な高レベルのアクションを実行できるため、柔軟性があります。
次に、専門化されています。数学分野ではしばしばエキスパートによってドメイン固有のタクティックが作成されるため、特定領域における深い組み込みカスタムロジックと一緒に使用することができます。
さらに、人間向けです。多くの場合、タクティックは人間が理解しやすく使いやすいよう設計されており、その直感的な性質から自動推論システムでも効果的に活用できます。
最後に異なるタクティック振る舞いへ対処する際も課題として挙げられましたが、「Orthogonalization process」（直交化処理）等を通じて冗長な手法を排除した上で新しい貢献度を考慮した方法等工夫次第では克服可能です。