Interactive reports

• VD SoK — project status (anonymous)
• RQ3｜输入 NLL 与前缀冗余
• RQ3 | Input NLL and prefix redundancy
• RQ3 | Input NLL and prefix redundancy
• OLMo-3 reasoning redundancy · RQ1 and RQ3
• 交互报告 · 合成数据发布验证