「D.2.3」カテゴリーアーカイブ

From Scientific Texts to Verifiable Code: Automating the Process with Transformers

投稿日: 2025年1月10日 作成者: jarxiv

要約 形式的保証のあるアルゴリズムを提案する膨大な研究文献があるにもかかわらず、 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE, D.2.3 | コメントする

How to Drawjectory? — Trajectory Planning using Programming by Demonstration

投稿日: 2024年11月7日 作成者: jarxiv

要約 飛行軌跡は、クアドロコプターが 3 次元空間内をある位置から別の位置にどの … 続きを読む →

カテゴリー: cs.RO, cs.SE, D.2.3 | How to Drawjectory? — Trajectory Planning using Programming by Demonstration はコメントを受け付けていません

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation

投稿日: 2024年4月11日 作成者: jarxiv

要約 トランスフォーマーベースの大規模言語モデル (LLM) は、基礎となるトラ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.PL, cs.SE, D.2.3 | L2MAC: Large Language Model Automatic Computer for Extensive Code Generation はコメントを受け付けていません

An Empirical Study on Usage and Perceptions of LLMs in a Software Engineering Project

投稿日: 2024年1月30日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、人工知能の飛躍的な進歩を表し、人間の言語 … 続きを読む →

カテゴリー: cs.AI, cs.SE, D.2.3 | An Empirical Study on Usage and Perceptions of LLMs in a Software Engineering Project はコメントを受け付けていません