from <a href="/en/Diary%202025-01-10">Diary 2025-01-10</a>
The 66th Programming Symposium
<a href="https://prosym.org/66/cfa.html">Call for Participation | 66th Annual Programming Symposium</a>
<a href="/en/Conflict-Driven-Clause-Learning">Conflict-Driven-Clause-Learning</a>
<ul>
<li><a href="/en/Principle%20of%20the%20Fast%20SAT%20Solver">Principle of the Fast SAT Solver</a>
<a href="/en/DeepSeek-Prover">DeepSeek-Prover</a></li>
</ul>
<a href="/en/Sarashina">Sarashina</a>
Completion has been possible since around GPT-2 in 2019.
<ul>
<li><a href="/en/InstructionGPT">InstructionGPT</a> will come after that.</li>
<li><a href="/en/DPO">DPO</a><ul>
<li><a href="/en/Direct%20Preference%20Optimization">Direct Preference Optimization</a></li>
</ul>
</li>
</ul>
<a href="/en/Die%20with%20Zero">Die with Zero</a>
<ul>
<li><a href="/en/Tongqin%20Insurance">Tongqin Insurance</a></li>
<li>Preparing for &quot;the risk of living longer</li>
</ul>
<hr>
This page is auto-translated from [/nishio/第66回 プログラミング・シンポジウム](<a href="https://scrapbox.io/nishio/%E7%AC%AC66%E5%9B%9E">https://scrapbox.io/nishio/第66回</a> プログラミング・シンポジウム) using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at <a href="https://twitter.com/nishio_en">@nishio_en</a>. I&#39;m very happy to spread my thought to non-Japanese readers.