<?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/ar/tags/deterministic-verification/</link><description>Recent content in Deterministic Verification on المهندس بارك جون وو</description><generator>Hugo</generator><language>ar</language><lastBuildDate>Wed, 20 May 2026 14:00:00 +0900</lastBuildDate><atom:link href="https://www.parkjunwoo.com/ar/tags/deterministic-verification/index.xml" rel="self" type="application/rss+xml"/><item><title>كود Ratchet الذي يستغل IFEval</title><link>https://www.parkjunwoo.com/ar/tech/ifeval-ratchet/</link><pubDate>Wed, 20 May 2026 14:00:00 +0900</pubDate><guid>https://www.parkjunwoo.com/ar/tech/ifeval-ratchet/</guid><description>انحياز التملق في LLM ليس خللاً بل أصل. عند دمج قدرة اتباع التعليمات التي يقيسها IFEval مع التغذية الراجعة الحتمية، يتشكل حلقة تقارب تمكّن حتى نموذجاً محلياً بحجم 4.5B من توليد كود دقيق.</description></item></channel></rss>