-
最近の投稿
- Enhancing Autonomous Driving Systems with On-Board Deployed Large Language Models
- LANGTRAJ: Diffusion Model and Dataset for Language-Conditioned Trajectory Simulation
- RESPLE: Recursive Spline Estimation for LiDAR-Based Odometry
- Doppler-SLAM: Doppler-Aided Radar-Inertial and LiDAR-Inertial Simultaneous Localization and Mapping
- Know Where You’re Uncertain When Planning with Multimodal Foundation Models: A Formal Framework
-
最近のコメント
表示できるコメントはありません。 cs.AI (36696) cs.CL (27781) cs.CV (42505) cs.HC (2805) cs.LG (41669) cs.RO (21712) cs.SY (3300) eess.IV (4965) eess.SY (3292) stat.ML (5453)
「cs.PL」カテゴリーアーカイブ
Proof-Carrying Neuro-Symbolic Code
要約 この招待された論文は、「神経系コード」の「プルーフを運ぶ神経系コード」の概 … 続きを読む
VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
要約 Verilogモジュールを設計するには、正確性、効率、および設計仕様の順守 … 続きを読む
SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning
要約 登録転送レベル（RTL）コードの最適化は、合成の初期段階でデジタルサーキッ … 続きを読む
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
要約 正式な検証は、システムの仕様と同じくらい良いものであり、ニューラルネットワ … 続きを読む