Daily Arxiv

世界中で発行される人工知能関連の論文をまとめるページです。
このページはGoogle Geminiを活用して要約し、非営利で運営しています。
論文の著作権は著者および関連機関にあり、共有する際は出典を明記してください。

NVIDIA Nemotron Nano 2: An Accurate and Efficient Hybrid Mamba-Transformer Reasoning Model

Power Stabilization for AI Training Datacenters

A Systematic Study of Deep Learning Models and xAI Methods for Region-of-Interest Detection in MRI Scans

Documenting Deployment with Fabric: A Repository of Real-World AI Governance

Surya: Foundation Model for Heliophysics

Hard Examples Are All You Need: Maximizing GRPO Post-Training Under Annotation Budgets

MCLPD:Multi-view Contrastive Learning for EEG-based PD Detection Across Datasets

FinAgentBench: A Benchmark Dataset for Agentic Retrieval in Financial Question Answering

VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog

Kourkoutas-Beta: A Sunspike-Driven Adam Optimizer with Desert Flair

SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip

Fortifying the Agentic Web: A Unified Zero-Trust Architecture Against Logic-layer Threats

LATTE: Learning Aligned Transactions and Textual Embeddings for Bank Clients

Preacher: Paper-to-Video Agentic System

Agoran: An Agentic Open Marketplace for 6G RAN Automation

Architectural Co-Design for Zero-Shot Anomaly Detection: Decoupling Representation and Dynamically Fusing Features in CLIP

IBPS: Indian Bail Prediction System

Diagnosing Memorization in Chain-of-Thought Reasoning, One Token at a Time

TS-Insight: Visualizing Thompson Sampling for Verification and XAI

When Better Eyes Lead to Blindness: A Diagnostic Study of the Information Bottleneck in CNN-LSTM Image Captioning Models

Seed-X: Building Strong Multilingual Translation LLM with 7B パラメータ

Generation of structure-guided pMHC-I libraries using Diffusion Models

Cross-Modality Masked Learning for Survival Prediction in ICI Treated NSCLC Patients

MCA-RG: Enhancing LLMs with Medical Concept Alignment for Radiology Report Generation

KEA Explain: Explanations of Hallucinations using Graph Kernel Analysis

Empirical Evidence for Alignment Faking in a Small LLM and Prompt-Based Mitigation Techniques

A Survey of Foundation Models for IoT: Taxonomy and Criteria-Based Analysis

Deep regularization networks for inverse problems with noisy operators

LaMP-Cap: Personalized Figure Caption Generation With Multimodal Figure Profiles

On the Fundamental Impossibility of Hallucination Control in Large Language Models

Lossless Token Sequence Compression via Meta-Tokens

Versatile Cardiovascular Signal Generation with a Unified Diffusion Transformer

Flexible Tool Selection through Low-dimensional Attribute Alignment of Vision and Language

Mutarjim: Advancing Bidirectional Arabic-English Translation with a Small Language Model

MMiC: Mitigating Modality Incompleteness in Clustered Federated Learning

Edge-Cloud Collaborative Computing on Distributed Intelligence and Model Optimization: A Survey

Sadeed: Advancing Arabic Diacritization Through Small Language Model

Annif at SemEval-2025 Task 5: Traditional XMTC augmented by LLMs

CaRL: Learning Scalable Planning Policies with Simple Rewards

On the Consistency of GNN Explanations for Malware Detection

Cequel: Cost-Effective Querying of Large Language Models for Text Clustering

Kuwain 1.5B: An Arabic SLM via Language Injection

MuSeD: A Multimodal Spanish Dataset for Sexism Detection in Social Media Videos

TextSplat: Text-Guided Semantic Fusion for Generalizable Gaussian Splatting

VerifiAgent: a Unified Verification Agent in Language Model Reasoning

Embodied Long Horizon Manipulation with Closed-loop Code Generation and Incremental Few-shot Adaptation

Revisiting Out-of-Distribution Detection in Real-time Object Detection: From Benchmark Pitfalls to a New Mitigation Paradigm

A Case for Specialisation in Non-Human Entities

Pragmatic Inference Chain (PIC) Improving LLMs' Reasoning of Authentic Implicit Toxic Language

Synthetic vs. Gold: The Role of LLM Generated Labels and Data in Cyberbullying Detection

Innamark: A Whitespace Replacement Information-Hiding Method

Ontology-Guided Reverse Thinking Makes Large Language Models Stronger on Knowledge Graph Question Answering

RefineCoder: Iterative Improving of Large Language Models via Adaptive Critique Refinement for Code Generation

Setup Once, Secure Always: A Single-Setup Secure Federated Learning Aggregation Protocol with Forward and Backward Secrecy for Dynamic Users

Self-Supervised Prompt Optimization

Learning to Generate Unit Tests for Automated Debugging

Modeling Discrimination with Causal Abstraction

Large Language Models for Automated Literature Review: An Evaluation of Reference Generation, Abstract Writing, and Review Composition

Evaluation Agent: Efficient and Promptable Evaluation Framework for Visual Generative Models

Knowledge-Guided Prompt Learning for Request Quality Assurance in Public Code Review

Fine-tuning foundational models to code diagnoses from veterinary health records

Teuken-7B-Base & Teuken-7B-Instruct: Towards European LLMs

Grounded-VideoLLM: Sharpening Fine-grained Temporal Grounding in Video Large Language Models

Continual Learning for Multimodal Data Fusion of a Soft Gripper

BoostTrack++: using tracklet information to detect more objects in multiple object tracking

OPDR: Order-Preserving Dimension Reduction for Semantic Embedding of Multimodal Scientific Data

CREMA: A Contrastive Regularized Masked Autoencoder for Robust ECG Diagnostics across Clinical Domains

Generating 3D Terrain with 2D Cellular Automata

Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time

Using a cognitive architecture to consider antiBlackness in design and development of AI systems

ITL-LIME: Instance-Based Transfer Learning for Enhancing Local Explanations in Low-Resource Data Settings

ThinkTuning: Instilling Cognitive Reflections without Distillation

A "good regulator theorem" for embodied agents

Prescriptive Agents based on RAG for Automated Maintenance (PARAM)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning

Opus: A Prompt Intention Framework for Complex Workflow Generation

Exploring Big Five Personality and AI Capability Effects in LLM-Simulated Negotiation Dialogues

It's the Thought that Counts: Evaluating the Attempts of Frontier LLMs to Persuade on Harmful Topics

GATES: Cost-aware Dynamic Workflow Scheduling via Graph Attention Networks and Evolution Strategy

Automatic Curriculum Design for Zero-Shot Human-AI Coordination

PersonaBench: Evaluating AI Models on Understanding Personal Information through Accessing (Synthetic) Private User Data

SycEval: Evaluating LLM Sycophancy

CopyrightShield: Enhancing Diffusion Model Security against Copyright Infringement Attacks

VLASCD: A Visual Language Action Model for Simultaneous Chatting and Decision Making

Exploring the Effect of Explanation Content and Format on User Comprehension and Trust in Healthcare

On Learning Action Costs from Input Plans

Human-Object Interaction from Human-Level Instructions

Non-linear Welfare-Aware Strategic Learning

CRISPR-GPT for Agentic Automation of Gene-editing Experiments

SceneGen: Single-Image 3D Scene Generation in One Feedforward Pass

Discovering Hidden Algebraic Structures via Transformers with Rank-Aware Beam GRPO

LiveMCP-101: Stress Testing and Diagnosing MCP-enabled Agents on Challenging Queries

Neural Robot Dynamics

Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis

"Does the cafe entrance look accessible? Where is the door?" Towards Geospatial AI Agents for Visual Inquiries

End-to-End Agentic RAG System Training for Traceable Diagnostic Reasoning

Numerical models outperform AI weather forecasts of record-breaking extremes

EcomMMMU: Strategic Utilization of Visuals for Robust Multimodal E-Commerce Models

Tutorial on the Probabilistic Unification of Estimation Theory, Machine Learning, and Generative AI

StreamMem: Query-Agnostic KV Cache Memory for Streaming Video Understanding

VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog

Created by

Haebom

作者

Xiang Long, Yingjie Xia, Xiyuan Chen, Li Kuang

概要

本論文は、ハードウェア脆弱性の早期検出のための新しい方法であるVerilogLAVDを提案する。既存の方法が専門知識を必要とする限界を克服するために、本論文は大規模言語モデル（LLM）を利用してVerilogコードの脆弱性を検出するアプローチを提示します。 Verilogコードを統合的に表現するVerilog Property Graph（VeriPG）を導入して構文と意味情報を結合し、LLMを用いてCWE（Common Weakness Enumeration）記述からVeriPGベースの検出規則を生成する。これらのルールは、VeriPGを検索して潜在的な脆弱性を見つけるためにルールランチャーに使用されます。 77のVerilog設計の実験の結果、12種類のCWEタイプに対してF1-score 0.54を達成し、LLM単独または外部の知識ベースと比較して、それぞれ0.31および0.27のF1-score向上を示した。

Takeaways、Limitations

•

Takeaways:

◦

LLMを利用したVerilog脆弱性検出の新しいアプローチの提示

◦

VeriPGによるVerilogコードの効果的な表現と分析

◦

CWE記述を活用した自動検出ルールの作成

◦

既存のLLMベースの方法に対するパフォーマンスの向上

•

Limitations:

◦

F1-score 0.54でまだ高くない精度

◦

限られたCWEタイプとデータセットの評価

◦

実際の現場適用に追加の検証が必要

Made with Slashpage