ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis

arXiv cs.CL · arxiv.org · 2026/05/08 13:00 · 4h ago

• SourcearXiv cs.CLT1
• Source Avg ★ 1.0
• Type論文
• Importance ★ 情報 (top 100% in Research)
• Half-life 🏛️ 長期 (アーキテクチャ)
• LangEN
• Collected2026/05/08 15:00

元記事を読む ↗ arxiv.org

本ページの本文・要約は AI による自動生成です。正確性は元記事 (arxiv.org) をご確認ください。