-
最近の投稿
- Efficiently Generating Expressive Quadruped Behaviors via Language-Guided Preference Learning
- Whole-Body Dynamic Throwing with Legged Manipulators
- RG-Attn: Radian Glue Attention for Multi-modality Multi-agent Cooperative Perception
- Scalable Real2Sim: Physics-Aware Asset Generation Via Robotic Pick-and-Place Setups
- Temporal and Semantic Evaluation Metrics for Foundation Models in Post-Hoc Analysis of Robotic Sub-tasks
-
最近のコメント
表示できるコメントはありません。 cs.AI (35979) cs.CL (27216) cs.CR (2743) cs.CV (41827) cs.LG (40948) cs.RO (21216) cs.SY (3206) eess.IV (4914) eess.SY (3200) stat.ML (5368)
「cs.PL」カテゴリーアーカイブ
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
要約 私たちは、性質と量を自然な方法で扱うのに役立ち、それらの正しさをチェックす … 続きを読む
Is Programming by Example solved by LLMs?
要約 Programming-by-Examples (PBE) は、入出力サン … 続きを読む
The why, what, and how of AI-based coding in scientific research
要約 コンピューター プログラミング (コーディング) は、さまざまな分野の研究 … 続きを読む
Programming Distributed Collective Processes in the eXchange Calculus
要約 モノのインターネット (IoT) などの最近のトレンドは、ほぼすべての種類 … 続きを読む
OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
要約 コードの大規模言語モデル (LLM) は、コード生成、推論タスク、エージェ … 続きを読む
SynCode: LLM Generation with Grammar Augmentation
要約 LLM は、複雑な AI アプリケーションで広く使用されています。 これら … 続きを読む
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
要約 静的検証はソフトウェアの品質を向上させる強力な方法ですが、多大な人的労力と … 続きを読む
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
要約 コード アプリケーション向けの大規模言語モデル (LLM) の最近の進歩に … 続きを読む
CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
要約 この論文では、LLM ベースのコード変換手法と、プログラム全体を 1 つの … 続きを読む