-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.PL」カテゴリーアーカイブ
DafnyBench: A Benchmark for Formal Software Verification
要約 正式なソフトウェア検証のための機械学習システムのトレーニングと評価を行うた … 続きを読む
Exploiting Code Symmetries for Learning Program Semantics
要約 この論文では、コードの対称性をモデル アーキテクチャに組み込むことによって … 続きを読む
ReGAL: Refactoring Programs to Discover Generalizable Abstractions
要約 大規模言語モデル (LLM) はプログラム合成にますます使用されていますが … 続きを読む
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
要約 Constrained Horn Clauses (CHC) を解決するこ … 続きを読む
Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
要約 本稿では、最近のコード類似性評価メトリクスを再検討し、特に、多様なプログラ … 続きを読む
Explaining Explanations in Probabilistic Logic Programming
要約 人工知能に基づくツールの出現により、人間が理解できる説明を作成する必要性も … 続きを読む
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
要約 大規模言語モデル (LLM) を使用してソース コードを繰り返し改善および … 続きを読む
Kotlin ML Pack: Technical Report
要約 この技術レポートでは、Kotlin コードの 3 つの新しいデータセット、 … 続きを読む
Code Simulation Challenges for Large Language Models
要約 推論、計画、および問題解決のタスクの多くは、本質的なアルゴリズムの性質を共 … 続きを読む
DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
要約 人工知能の時代では、データ モダリティと注釈形式の多様性により、データが直 … 続きを読む