「cs.PL」カテゴリーアーカイブ

Towards the Imagenets of ML4EDA

投稿日: 2023年10月17日 作成者: jarxiv

要約 RTL から GDSII まで、ML ガイド付き EDA ツールへの関心が … 続きを読む →

カテゴリー: cs.AI, cs.AR, cs.LG, cs.PL | Towards the Imagenets of ML4EDA はコメントを受け付けていません

CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules

投稿日: 2023年10月16日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、HumanEval や MBPP ベンチ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.PL | CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules はコメントを受け付けていません

Trustworthy Formal Natural Language Specifications

投稿日: 2023年10月9日 作成者: jarxiv

要約 インタラクティブ証明アシスタントは、人間が設計した数学的主張の証明を実装に … 続きを読む →

カテゴリー: cs.CL, cs.PL | Trustworthy Formal Natural Language Specifications はコメントを受け付けていません

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

投稿日: 2023年10月9日 作成者: jarxiv

要約 MLIR は最新のハードウェア向けの新しいコンパイラ インフラストラクチャ … 続きを読む →

カテゴリー: cs.CL, cs.DC, cs.PF, cs.PL | mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis はコメントを受け付けていません

Coding by Design: GPT-4 empowers Agile Model Driven Development

投稿日: 2023年10月9日 作成者: jarxiv

要約 ChatGPT などの大規模言語モデル (LLM) を使用して自然言語から … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.MA, cs.PL, cs.SE | Coding by Design: GPT-4 empowers Agile Model Driven Development はコメントを受け付けていません

A Language-Agent Approach to Formal Theorem-Proving

投稿日: 2023年10月9日 作成者: jarxiv

要約 外部環境と対話するためにコンテキスト内学習が可能な大規模言語モデル (LL … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL | A Language-Agent Approach to Formal Theorem-Proving はコメントを受け付けていません

Design of Chain-of-Thought in Math Problem Solving

投稿日: 2023年10月3日 作成者: jarxiv

要約 思考連鎖 (CoT) は、数学の問題解決の推論において重要な役割を果たしま … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | Design of Chain-of-Thought in Math Problem Solving はコメントを受け付けていません

L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models

投稿日: 2023年10月3日 作成者: jarxiv

要約 最近、大規模言語モデル (LLM)、特にコードで事前トレーニングされたモデ … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL, cs.SE | L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models はコメントを受け付けていません

Scope is all you need: Transforming LLMs for HPC Code

投稿日: 2023年10月2日 作成者: jarxiv

要約 強力なコンピューティング リソースに簡単にアクセスできるようになったことで … 続きを読む →

カテゴリー: cs.CL, cs.PL | Scope is all you need: Transforming LLMs for HPC Code はコメントを受け付けていません

L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models

投稿日: 2023年10月2日 作成者: jarxiv

要約 最近、大規模言語モデル (LLM)、特にコードで事前トレーニングされたモデ … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL, cs.SE | L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models はコメントを受け付けていません