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

AST-MHSA : Code Summarization using Multi-Head Self-Attention

要約 コードの要約は、ソース コードの簡潔な自然言語記述を生成することを目的とし … 続きを読む

カテゴリー: cs.CL, cs.LG, cs.PL, cs.SE | AST-MHSA : Code Summarization using Multi-Head Self-Attention はコメントを受け付けていません

Auto-COP: Adaptation Generation in Context-Oriented Programming using Reinforcement Learning Options

要約 自己適応型ソフトウェアシステムは、コンテキストとして捉えられる実行環境の内 … 続きを読む

カテゴリー: cs.AI, cs.PL, cs.SE | Auto-COP: Adaptation Generation in Context-Oriented Programming using Reinforcement Learning Options はコメントを受け付けていません

Towards Regulated Deep Learning

要約 マルチエージェント システム (MAS) および宣言型電子機関 (DEI) … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO, cs.MA, cs.PL | Towards Regulated Deep Learning はコメントを受け付けていません

PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback

要約 コード用大規模言語モデル (Code LLM) が盛んです。 新しい強力な … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback はコメントを受け付けていません

Execution-based Code Generation using Deep Reinforcement Learning

要約 ソフトウェア エンジニアリング プロセスを自動化する手段として、大規模なコ … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | Execution-based Code Generation using Deep Reinforcement Learning はコメントを受け付けていません

Execution-based Code Generation using Deep Reinforcement Learning

要約 ソフトウェア エンジニアリング プロセスを自動化する手段として、大規模なコ … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL | Execution-based Code Generation using Deep Reinforcement Learning はコメントを受け付けていません

SBMLtoODEjax: efficient simulation and optimization of ODE SBML models in JAX

要約 タンパク質経路から複雑な細胞プロセスに至るまで、生物学的システムの動的な挙 … 続きを読む

カテゴリー: cs.LG, cs.PL, q-bio.BM | SBMLtoODEjax: efficient simulation and optimization of ODE SBML models in JAX はコメントを受け付けていません

Declarative Mechanism Design

要約 マルチエージェント システム (MAS) および宣言型電子機関 (DEI) … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO, cs.MA, cs.PL | Declarative Mechanism Design はコメントを受け付けていません

Towards a Certified Proof Checker for Deep Neural Network Verification

要約 ディープ ニューラル ネットワーク (DNN) の最近の開発により、セーフ … 続きを読む

カテゴリー: cs.LG, cs.LO, cs.PL | Towards a Certified Proof Checker for Deep Neural Network Verification はコメントを受け付けていません

DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization

要約 DL コンパイラの主な機能は、PyTorch や TensorFlow な … 続きを読む

カテゴリー: cs.CL, cs.LG, cs.PL | DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization はコメントを受け付けていません