Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

Probing Experts' Perspectives on AI-Assisted Public Speaking Training

Learning Pole Structures of Hadronic States using Predictive Uncertainty Estimation

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings

Hallucination Stations: On Some Basic Limitations of Transformer-Based Language Models

Objectomaly: Objectness-Aware Refinement for OoD Segmentation with Structural Consistency and Boundary Precision

KeyRe-ID: Keypoint-Guided Person Re-Identification using Part-Aware Representation in Videos

Squeeze the Soaked Sponge: Efficient Off-policy Reinforcement Finetuning for Large Language Model

The Dark Side of LLMs Agent-based Attacks for Complete Computer Takeover

Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

Hyperspectral Anomaly Detection Methods: A Survey and Comparative Study

EmissionNet: Air Quality Pollution Forecasting for Agriculture

The role of gain neuromodulation in layer-5 pyramidal neurons

USAD: End-to-End Human Activity Recognition via Diffusion Model with Spatiotemporal Attention

Hita: Holistic Tokenizer for Autoregressive Image Generation

Distributional Soft Actor-Critic with Diffusion Policy

Lighting the Night with Generative Artificial Intelligence

On the Necessity of Output Distribution Reweighting for Effective Class Unlearning

Upgrade or Switch: Do We Need a Next-Gen Trusted Architecture for the Internet of AI Agents?

Language-Grounded Hierarchical Planning and Execution with Multi-Robot 3D Scene Graphs

Grokking Beyond the Euclidean Norm of Model Parameters

An Outlook on the Opportunities and Challenges of Multi-Agent AI Systems

Deep Learning-Based Forecasting of Boarding Patient Counts to Address ED Overcrowding

An Exploration of Default Images in Text-to-Image Generation

Automatic Curriculum Learning for Driving Scenarios: Towards Robust and Efficient Reinforcement Learning

TPK: Trustworthy Trajectory Prediction Integrating Prior Knowledge For Interpretability and Kinematic Feasibility

Boundary-Guided Trajectory Prediction for Road Aware and Physically Feasible Autonomous Driving

Balancing Progress and Safety: A Novel Risk-Aware Objective for RL in Autonomous Driving

TS-SNN: Temporal Shift Module for Spiking Neural Networks

Red Teaming Large Language Models for Healthcare

One-Pass to Reason: Token Duplication and Block-Sparse Mask for Efficient Fine-Tuning on Multi-Turn Reasoning

AI Safety Should Prioritize the Future of Work

MGT: Extending Virtual Try-Off to Multi-Garment Scenarios

MedSegFactory: Text-Guided Generation of Medical Image-Mask Pairs

Generative Retrieval and Alignment Model: A New Paradigm for E-commerce Retrieval

Using AI to Summarize US Presidential Campaign TV Advertisement Videos, 1952-2012

REGEN: A Dataset and Benchmarks with Natural Language Critiques and Narratives

GTR: Guided Thought Reinforcement Prevents Thought Collapse in RL-based VLM Agent Training

Field Matching: an Electrostatic Paradigm to Generate and Transfer Data

SP$^2$T: Sparse Proxy Attention for Dual-stream Point Transformer

PIAD-SRNN: Physics-Informed Adaptive Decomposition in State-Space RNN

FonTS: Text Rendering with Typography and Style Controls

On the Principles of ReLU Networks with One Hidden Layer

Compositional Risk Minimization

End-to-end multi-channel speaker extraction and binaural speech synthesis

Post-hoc Study of Climate Microtargeting on Social Media Ads with LLMs: Thematic Insights and Fairness Evaluation

Downscaling Extreme Precipitation with Wasserstein Regularized Diffusion

Quantifying Context Bias in Domain Adaptation for Object Detection

An Empirical Study of Validating Synthetic Data for Formula Generation

Evaluating Implicit Bias in Large Language Models by Attacking From a Psychometric Perspective

HeSum: a Novel Dataset for Abstractive Text Summarization in Hebrew

SpecDec++: Boosting Speculative Decoding via Adaptive Candidate Lengths

GoalNet: Goal Areas Oriented Pedestrian Trajectory Prediction

Large Language Models in Mental Health Care: a Scoping Review

SDR-GAIN: A High Real-Time Occluded Pedestrian Pose Completion Method for Autonomous Driving

Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms

Measuring AI Alignment with Human Flourishing

StarDojo: Benchmarking Open-Ended Behaviors of Agentic Multimodal LLMs in Production-Living Simulations with Stardew Valley

Open Source Planning & Control System with Language Agents for Autonomous Scientific Discovery

Discovering Algorithms with Computational Language Processing

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD

A taxonomy of epistemic injustice in the context of AI and the case for generative hermeneutical erasure

Bandit-Based Prompt Design Strategy Selection Improves Prompt Optimizers

Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces

AI Delegates with a Dual Focus: Ensuring Privacy and Strategic Self-Disclosure

Text2BIM: Generating Building Models Using a Large Language Model-based Multi-Agent Framework

Interpreting systems as solving POMDPs: a step towards a formal understanding of agency

Lumos-1: On Autoregressive Video Generation from a Unified Model Perspective

NeuralOS: Towards Simulating Operating Systems via Neural Generative Models

KV Cache Steering for Inducing Reasoning in Small Language Models

Optimistic Exploration for Risk-Averse Constrained Reinforcement Learning

On Barriers to Archival Audio Processing

A Hybrid Multi-Well Hopfield-CNN with Feature Extraction and K-Means for MNIST Classification

Compress Any Segment Anything Model (SAM)

Penalizing Infeasible Actions and Reward Scaling in Reinforcement Learning with Offline Data

Geo-ORBIT: A Federated Digital Twin Framework for Scene-Adaptive Lane Geometry Detection

Adaptive Nonlinear Vector Autoregression: Robust Forecasting for Noisy Chaotic Time Series

Catastrophic Forgetting Mitigation Through Plateau Phase Activity Profiling

Dually Hierarchical Drift Adaptation for Online Configuration Performance Learning

Monitoring Risks in Test-Time Adaptation

Multilingual Multimodal Software Developer for Code Generation

KG-Attention: Knowledge Graph-Guided Attention at Test-Time via Bidirectional Information Aggregation

ONION: A Multi-Layered Framework for Participatory ER Design

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes

MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment

Safe Deep Reinforcement Learning for Resource Allocation with Peak Age of Information Violation Guarantees

DatasetAgent: A Novel Multi-Agent System for Auto-Constructing Datasets from Real-World Images

Scaling Attention to Very Long Sequences in Linear Time with Wavelet-Enhanced Random Spectral Attention (WERSA)

Normalized vs Diplomatic Annotation: A Case Study of Automatic Information Extraction from Handwritten Uruguayan Birth Certificates

Adaptive Framework for Ambient Intelligence in Rehabilitation Assistance

A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1

Towards Collaborative Fairness in Federated Learning Under Imbalanced Covariate Shift

Generating Proto-Personas through Prompt Engineering: A Case Study on Efficiency, Effectiveness and Empathy

To Trade or Not to Trade: An Agentic Approach to Estimating Market Risk Improves Trading Decisions

A Multi-Modal Fusion Framework for Brain Tumor Segmentation Based on 3D Spatial-Language-Vision Integration and Bidirectional Interactive Attention Mechanism

FreeAudio: Training-Free Timing Planning for Controllable Long-Form Text-to-Audio Generation

RadiomicsRetrieval: A Customizable Framework for Medical Image Retrieval Using Radiomics Features

White-Basilisk: A Hybrid Model for Code Vulnerability Detection

MIDI-VALLE: Improving Expressive Piano Performance Synthesis Through Neural Codec Language Modelling

PromotionGo at SemEval-2025 Task 11: A Feature-Centric Framework for Cross-Lingual Multi-Emotion Detection in Short Texts

Comparing Neural Network Encodings for Logic-based Explainability

Created by

Haebom

저자

Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha

개요

본 논문은 인공 신경망(ANN) 출력에 대한 설명을 제공하는 방법, 특히 논리 기반 설명 가능성에 초점을 맞추고 있습니다. 논리 기반 방법은 정확성을 보장하는 설명을 제공할 수 있지만, 확장성 문제에 직면합니다. 따라서 ANN을 논리적 제약 조건으로 변환하는 다양한 인코딩 방식을 비교하는 것이 중요합니다. 본 논문에서는 기존에 사용된 ANN 인코딩 방식과 효율성을 높이기 위해 변형된 새로운 인코딩 방식을 비교 분석합니다. 새로운 인코딩은 변수와 제약 조건의 수를 줄여 효율성을 개선하고자 합니다.

시사점, 한계점

•

시사점: 새롭게 제안된 ANN 인코딩 방식이 논리적 제약 조건 생성 및 전체 실행 시간 측면에서 기존 방식보다 최대 18% 및 16% 향상된 성능을 보임을 실험적으로 확인했습니다. 이는 논리 기반 설명 가능성의 효율성을 높이는 데 기여할 수 있습니다.

•

한계점: 실험 결과, 설명 계산 시간 자체는 두 인코딩 방식 간에 유의미한 차이가 없었습니다. 다양한 ANN 구조 및 크기에 대한 추가적인 실험이 필요하며, 더욱 복잡한 ANN에 대한 확장성을 추가적으로 검증해야 합니다.

Made with Slashpage