タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

promptと形式手法に関するsh19910711のブックマーク (1)

  • ChatGPTに形式手法でより複雑な問題を解かせる

    一発ネタです。 変数a, bの初期値は0で、0→1→2→0と同期しながら繰り返し変化します。b=1なら、aは変化しません。a=bなら、bは変化しません。swはon, offの二つの値を持ち、初期値はoffです。swはa=b=2ならon、a=b=1ならoffとなります。さて、swがonになった後、offに戻ることを常に保証できますか?

    ChatGPTに形式手法でより複雑な問題を解かせる
    sh19910711
    sh19910711 2023/04/03
    "自然言語で問題を解かせるとおかしくなるのに、ソースで出させると正しくなる / GPTが答えを生成する前に事前にNuSMVを用いて検証を行うようにすることで、推論能力をより高めるといった使い方が考えられます"
  • 1