in Large Language Models https://arxiv.org/pdf/2201.11903 「指示する」と「考えさせてから答えさせる 」はプロンプトの性能ギャップが あることを理解しておいてください。 構造化について ・AIの回答を構造化しないと意図した回答を得られないケースがあります。 モーダル/APIを問わずにプロンプトを構造化させる必要があります。 *APIではJSON Schemeが良く使われますね *QUANTIFYING LANGUAGE MODELS’ SENSITIVITY TO SPURIOUS FEATURES IN PROMPT DESIGN or: How I learned to start worrying about prompt formattinghttps://arxiv.org/pdf/2310.11324
AG(リクエスト → AF(レスポンス))) A: 全てのパスで (Always) G: 全ての状態で (Globally) F: いつかは (Finally) Test Goal: Verify that for a given Automaton M and a CTL formula φ derived from a BDD spec, M ⊨ φ (Automaton M satisfies the property φ) Goal: Find Test Set T that satisfies the following: ∀ pᵢ, pₚ (i≠j) in Parameters ∀ vₐ ∈ domain(pᵢ), vₑ ∈ domain(pₚ) ∃ t ∈ T such that t contains (pᵢ=vₐ AND pₚ=vₑ) ... while minimizing |T| (the number of test cases) Parameter: p Domain: Dₚ = [min, max] Test Values (Tₚ): {min-ε, min, min+ε, (min+max)/2, max-ε, max, max+ε} ε: パラメータが取りうる最小の変化量 (例: 整数なら1)