-
最近の投稿
- Global-Local Interface with Selective Direct and Singularity-Avoiding Motion Mapping for Intuitive Teleoperation
- Data-Dependent Hidden Markov Model with Off-Road State Determination and Real-Time Viterbi Algorithm for Lane Determination in Autonomous Vehicles
- Prismatic-Bending Transformable (PBT) Joint for a Modular, Foldable Manipulator with Enhanced Reachability and Dexterity
- Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer
- Steerable Scene Generation with Post Training and Inference-Time Search
-
最近のコメント
表示できるコメントはありません。 cs.AI (37825) cs.CL (28592) cs.CV (43449) cs.HC (2892) cs.LG (42754) cs.RO (22471) cs.SY (3449) eess.IV (5040) eess.SY (3441) stat.ML (5580)
「cs.PL」カテゴリーアーカイブ
Programming Distributed Collective Processes in the eXchange Calculus
要約 モノのインターネット（IoT）のような最近のトレンドは、ほとんどすべての種 … 続きを読む
From Code Generation to Software Testing: AI Copilot with Context-Based RAG
要約 大規模なソフトウェア開発の急速なペースにより、従来のテスト方法の需要が高ま … 続きを読む
Leveraging ASIC AI Chips for Homomorphic Encryption
要約 クラウドベースのサービスは、機密性の高いクライアントデータのアウトソーシン … 続きを読む
debug-gym: A Text-Based Environment for Interactive Debugging
要約 大規模な言語モデル（LLM）は、タスクのコーディングにますます依存していま … 続きを読む
VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
要約 Verilogモジュールを設計するには、正確性、効率、および設計仕様の順守 … 続きを読む
Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
要約 大規模な言語モデルが自然言語を介して会話する際に顕著な能力を示しているため … 続きを読む
Learning Minimal Neural Specifications
要約 正式な検証は、システムの仕様と同じくらい良いものであり、ニューラルネットワ … 続きを読む
Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
要約 文法は、プログラミング言語とソフトウェアエンジニアリングの基礎として機能し … 続きを読む
From Informal to Formal — Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
要約 AIベースの正式な数学的推論の研究では、止められない成長傾向が示されていま … 続きを読む