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

Execution-based Code Generation using Deep Reinforcement Learning

投稿日: 2023年7月21日 作成者: jarxiv

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

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

Execution-based Code Generation using Deep Reinforcement Learning

投稿日: 2023年7月19日 作成者: jarxiv

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

カテゴリー: 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

投稿日: 2023年7月18日 作成者: jarxiv

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

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

Declarative Mechanism Design

投稿日: 2023年7月14日 作成者: jarxiv

要約 マルチエージェント システム (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

投稿日: 2023年7月13日 作成者: jarxiv

要約 ディープ ニューラル ネットワーク (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

投稿日: 2023年7月12日 作成者: jarxiv

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

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

Programmable Synthetic Tabular Data Generation

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

要約 プライバシー、データ品質、データ共有の制限により、大量の表形式データが十分 … 続きを読む →

カテゴリー: cs.DB, cs.LG, cs.PL | Programmable Synthetic Tabular Data Generation はコメントを受け付けていません

Programmable Synthetic Tabular Data Generation

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

要約 プライバシー、データ品質、データ共有の制限により、大量の表形式データが十分 … 続きを読む →

カテゴリー: cs.DB, cs.LG, cs.PL | Programmable Synthetic Tabular Data Generation はコメントを受け付けていません

LEVER: Learning to Verify Language-to-Code Generation with Execution

投稿日: 2023年7月6日 作成者: jarxiv

要約 コードでトレーニングされた大規模な言語モデル (コード LLM) の出現に … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.PL, cs.SE | LEVER: Learning to Verify Language-to-Code Generation with Execution はコメントを受け付けていません

String Diagrams with Factorized Densities

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

要約 確率的プログラムと因果モデルに関する一連の研究の増加により、有向グラフィカ … 続きを読む →

カテゴリー: cs.LG, cs.PL, math.CT, math.PR | String Diagrams with Factorized Densities はコメントを受け付けていません