モデルにシンボルテーブルを与えます

モデルに数学的な文章の下書きや修正を依頼すると、表記がずれても散文は正常に戻ってくることが多いです。ベクトル \vect{x} は、ある段落では \mathbf{x} として返され、別の段落では \vec{x} として返されます。 \E[X] と書いた期待値は \mathbb{E}(​​X) として返されます。各バリアントはコンパイルされるため、エラーは発生しません。この矛盾は、同じオブジェクトが 3 つの異なる方法で書かれていることに読者が気づいた場合にのみ現れます。このモデルは、存在するすべての表記規則を確認しており、指示なしでそれらすべてからサンプルを抽出します。明示的に自分のものにしてください。

マクロにより表記法が強制可能になります

基盤は AI から独立しており、とにかく実行する価値があります。すべての繰り返しシンボルをマクロ経由でルーティングするため、ソースでは生の \boldsymbol{x} ではなく \vect{x} と表示されます。これにより、各概念に 1 つの名前が付けられ、1 つの定義を編集することで論文全体のスタイルを変更できるようになり、モデルにバリエーションを考案する代わりに固執するための小さな語彙が与えられます。マクロの定義については、カスタム コマンド で説明されています。

プロンプトに何を貼り付けるか

実際のリクエストに加えて、コンパクトな表記ブロック、つまりマクロ定義と、それぞれの目的を示す 1 行につき 1 つのコメントを含めます。

% vectors: bold italic \vect{x}
% matrices: bold upright \mat{A}
% expectation: \E{X}

次に、制約を直接述べます。「これらの概念にはこれらのマクロのみを使用してください。リストされているものには新しい表記法を導入しないでください。また、リストされていないシンボルが必要な場合は、シンボルを作成する代わりにそう言ってください。」モデルは、漠然とした「私のスタイルに合わせる」よりも、具体的で確認可能な指示に従います。完全な論文の場合は、ブロックをプリアンブルの近くの短い表記コメントとして保持し、最新の状態に保ち、すぐに貼り付けることができます。

機械的に検証する

マクロ層によりチェックが安価になります。すべてのベクトルが \vect{...} でなければならない場合、モデル出力内の生の \mathbf{ または \vec{ は違反であり、計算を読み直す代わりにテキスト検索で見つけることができます。貼り付けたものすべてに対して検索を実行し、不規則な箇所を修正すれば、論文内にモデル支援編集がどれだけ含まれていても、表記法は均一に保たれます。

オレアフライの内部

Oleafly のアシスタント は、マクロが存在するプリアンブルを含むプロジェクト ファイルを読み取るため、通常は指示されずに定義されたコマンドを選択します。明示的な指示は依然として役に立ちます。マクロが存在することを確認することは、それが必須であると言われることよりも弱いのです。リクエストに 1 行を追加し (「プリアンブルの表記法マクロを使用する」)、変更が適用される前に赤と緑の差分を確認します。これにより、ソースからのドリフトが防止されます。