<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Deterministic Verification on アーキテクト パク・ジュヌ</title><link>https://www.parkjunwoo.com/ja/tags/deterministic-verification/</link><description>Recent content in Deterministic Verification on アーキテクト パク・ジュヌ</description><generator>Hugo</generator><language>ja</language><lastBuildDate>Wed, 20 May 2026 14:00:00 +0900</lastBuildDate><atom:link href="https://www.parkjunwoo.com/ja/tags/deterministic-verification/index.xml" rel="self" type="application/rss+xml"/><item><title>IFEvalを逆利用するラチェットコード</title><link>https://www.parkjunwoo.com/ja/tech/ifeval-ratchet/</link><pubDate>Wed, 20 May 2026 14:00:00 +0900</pubDate><guid>https://www.parkjunwoo.com/ja/tech/ifeval-ratchet/</guid><description>LLMの追従バイアスはバグではなく資産だ。IFEvalが測定する指示遵守能力を決定論的フィードバックと組み合わせれば、4.5Bのローカルモデルでも正確なコードを生成する収束ループが生まれる。</description></item></channel></rss>