8月 16 2026 0 視覚言語モデルは「分からない」を内部で知っているのに答えを止められない——TRAPSBenchが示す表現ギャップ 投稿者: ユウ TL;DR 視覚言語モデル（VLM）は、映像から答えが確定できない状況…
8月 15 2026 0 テストだけで正式仕様を合成できるか？LLMとBMCを組み合わせた黒箱アプローチの実践評価 投稿者: ユウ TL;DR 本論文は、ソースコードをLLMに見せずに、テストコードと実…
8月 15 2026 0 LLM生成パッチを後処理で簡潔化するRECAP：修正能力を保ちつつコードレビュー負担を軽減 投稿者: ユウ TL;DR LLMによる自動プログラム修正（APR）では、テストを通る…