Daily Arxiv

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

LeJEPA: Provable and Scalable Self-Supervised Learning Without the Heuristics

HQ-SVC: Towards High-Quality Zero-Shot Singing Voice Conversion in Low-Resource Scenarios

SASG-DA: Sparse-Aware Semantic-Guided Diffusion Augmentation For Myoelectric Gesture Recognition

DiffRegCD: Integrated Registration and Change Detection with Diffusion Features

Advancing mathematics research with generative AI

TiS-TSL: Image-Label Supervised Surgical Video Stereo Matching via Time-Switchable Teacher-Student Learning

Quantifying Edits Decay in Fine-tuned LLMs

Self-adaptive weighting and sampling for physics-informed neural networks

Too Good to be Bad: On the Failure of LLMs to Role-Play Villains

MERaLiON-SER: Robust Speech Emotion Recognition Model for English and SEA Languages

Prompt-Based Safety Guidance Is Ineffective for Unlearned Text-to-Image Diffusion Models

Reasoning Up the Instruction Ladder for Controllable Language Models

Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models

PISA-Bench: The PISA Index as a Multilingual and Multimodal Metric for the Evaluation of Vision-Language Models

Aligning Diffusion Language Models via Unpaired Preference Optimization

TaoSR-AGRL: Adaptive Guided Reinforcement Learning Framework for E-commerce Search Relevance

Global Convergence of Policy Gradient for Entropy Regularized Linear-Quadratic Control with multiplicative noise

SecInfer: Preventing Prompt Injection via Inference-time Scaling

Towards Adapting Federated & Quantum Machine Learning for Network Intrusion Detection: A Survey

Symphony-MoE: Harmonizing Disparate Pre-trained Models into a Coherent Mixture-of-Experts

Machine Unlearning for Responsible and Adaptive AI in Education

KoopMotion: Learning Almost Divergence Free Koopman Flow Fields for Motion Planning

Where Should I Study? Biased Language Models Decide! Evaluating Fairness in LMs for Academic Recommendations

Radio Astronomy in the Era of Vision-Language Models: Prompt Sensitivity and Adaptation

SparK: Query-Aware Unstructured Sparsity with Recoverable KV Cache Channel Pruning

Survey of Vision-Language-Action Models for Embodied Manipulation

Mitigating Hallucinations in Large Language Models via Causal Reasoning

ComoRAG: A Cognitive-Inspired Memory-Organized RAG for Stateful Long Narrative Reasoning

M3-Net: A Cost-Effective Graph-Free MLP-Based Model for Traffic Prediction

The Power of Many: Synergistic Unification of Diverse Augmentations for Efficient Adversarial Robustness

Veli: Unsupervised Method and Unified Benchmark for Low-Cost Air Quality Sensor Correction

Asking the Right Questions: Benchmarking Large Language Models in the Development of Clinical Consultation Templates

M^2VAE: Multi-Modal Multi-View Variational Autoencoder for Cold-start Item Recommendation

IndoPref: A Multi-Domain Pairwise Preference Dataset for Indonesian

Bridging Synthetic and Real-World Domains: A Human-in-the-Loop Weakly-Supervised Framework for Industrial Toxic Emission Segmentation

Bayesian preference elicitation for decision support in multiobjective optimization

Touch in the Wild: Learning Fine-Grained Manipulation with a Portable Visuo-Tactile Gripper

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding

Simulation as Supervision: Mechanistic Pretraining for Scientific Discovery

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

Knowledge-Guided Brain Tumor Segmentation via Synchronized Visual-Semantic-Topological Prior Fusion

Geo-Registration of Terrestrial LiDAR Point Clouds with Satellite Images without GNSS

TopoStreamer: Temporal Lane Segment Topology Reasoning in Autonomous Driving

What Do Latent Action Models Actually Learn?

Capturing Polysemanticity with PRISM: A Multi-Concept Feature Description Framework

Flat Channels to Infinity in Neural Loss Landscapes

Edit Flows: Flow Matching with Edit Operations

MoE-Gyro: Self-Supervised Over-Range Reconstruction and Denoising for MEMS Gyroscopes

Joint-GCG: Unified Gradient-Based Poisoning Attacks on Retrieval-Augmented Generation Systems

An empirical study of task and feature correlations in the reuse of pre-trained models

anyECG-chat: A Generalist ECG-MLLM for Flexible ECG Input and Multi-Task Understanding

Solver-Free Decision-Focused Learning for Linear Optimization Problems

The Feasibility of Topic-Based Watermarking on Academic Peer Reviews

Military AI Needs Technically-Informed Regulation to Safeguard AI Research and its Applications

FS-DAG: Few Shot Domain Adapting Graph Networks for Visually Rich Document Understanding

Teaching Large Language Models to Maintain Contextual Faithfulness via Synthetic Tasks and Reinforcement Learning

Trajectory Bellman Residual Minimization: A Simple Value-Based Method for LLM Reasoning

Polar Sparsity: High Throughput Batched LLM Inferencing with Scalable Contextual Sparsity

RefiDiff: Progressive Refinement Diffusion for Efficient Missing Data Imputation

Rainbow Delay Compensation: A Multi-Agent Reinforcement Learning Framework for Mitigating Delayed Observation

ViSA-Flow: Accelerating Robot Skill Learning via Large-Scale Video Semantic Action Flow

Uncertainty Quantification for Language Models: A Suite of Black-Box, White-Box, LLM Judge, and Ensemble Scorers

MOSAIC: A Skill-Centric Algorithmic Framework for Long-Horizon Manipulation Planning

DataSentinel: A Game-Theoretic Detection of Prompt Injection Attacks

Repetitive Contrastive Learning Enhances Mamba's Selectivity in Time Series Prediction

Generalization Bounds in Hybrid Quantum-Classical Machine Learning Models

Beyond the Hype: Embeddings vs. Prompting for Multiclass Classification Tasks

Large Language Models Are Unreliable for Cyber Threat Intelligence

A Causal Framework to Measure and Mitigate Non-binary Treatment Discrimination

Evolutionary Policy Optimization

What's Producible May Not Be Reachable: Measuring the Steerability of Generative Models

MARS: Multi-Agent Adaptive Reasoning with Socratic Guidance for Automated Prompt Optimization

Prompt-OT: An Optimal Transport Regularization Paradigm for Knowledge Preservation in Vision-Language Model Adaptation

UDora: A Unified Red Teaming Framework against LLM Agents by Dynamically Hijacking Their Own Reasoning

A Simple and Effective Reinforcement Learning Method for Text-to-Image Diffusion Fine-tuning

Contextual Thompson Sampling via Generation of Missing Data

FedP$^2$EFT: Federated Learning to Personalize PEFT for Multilingual LLMs

Privacy-Preserving Retrieval-Augmented Generation with Differential Privacy

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control

Training and Evaluating Language Models with Template-based Data Generation

The Visual Counter Turing Test (VCT2): A Benchmark for Evaluating AI-Generated Image Detection and the Visual AI Index (VAI)

Conditional Distribution Learning for Graph Classification

Large Language Model Benchmarks in Medical Tasks

LLM4AD: Large Language Models for Autonomous Driving - Concept, Review, Benchmark, Experiments, and Future Trends

TeVAE: A Variational Autoencoder Approach for Discrete Online Anomaly Detection in Variable-state Multivariate Time-series Data

Multimodal Adversarial Defense for Vision-Language Models by Leveraging One-To-Many Relationships

An Information Theoretic Evaluation Metric For Strong Unlearning

CSAI: Conditional Self-Attention Imputation for Healthcare Time-series

Formalizing and Benchmarking Prompt Injection Attacks and Defenses

Hyperdimensional Decoding of Spiking Neural Networks

Information Capacity: Evaluating the Efficiency of Large Language Models via Text Compression

DigiData: Training and Evaluating General-Purpose Mobile Control Agents

A Theoretical Analysis of Detecting Large Model-Generated Time Series

Green AI: A systematic review and meta-analysis of its definitions, lifecycle models, hardware and measurement attempts

Do LLMs Feel? Teaching Emotion Recognition with Prompts, Retrieval, and Curriculum Learning

Are We Asking the Right Questions? On Ambiguity in Natural Language Queries for Tabular Data Analysis

Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries

e1: Learning Adaptive Control of Reasoning Effort

Emotion-Coherent Reasoning for Multimodal LLMs via Emotional Rationale Verifier

Mixed-Density Diffuser: Efficient Planning with Non-Uniform Temporal Resolution

$\mathsf{P} \neq \mathsf{NP}$: A Non-Relativizing Proof via Quantale Weakness and Geometric Complexity

Created by

Haebom

저자

Ben Goertzel

개요

본 논문은 짧은 프로그램을 여러 독립적인 블록에 대한 지역성으로 변환하는 정보 이론적 프레임워크를 제시하고, 이를 대칭성과 마스크된 랜덤 Unique-SAT의 희소성과 결합하여 P=NP 하에서 자기 감소 상한에 모순되는 분포적 하한을 도출합니다. 논문은 Switching-by-Weakness 정규 형식을 증명하고, sign-invariant neutrality lemma와 템플릿 희소화 정리를 활용하여 모든 짧은 디코더에 대해 거의 무작위성을 강제합니다. 이러한 결과를 tiny ACC0/스트리밍 디코더에 대한 단일 블록 바운드와 결합하여 성공 바운드를 얻고, 압축-성공으로부터 튜플 복잡도에 대한 선형 바운드를 증명합니다. 만약 P=NP라면 상수 길이 프로그램이 모든 약속 인스턴스를 고유한 증거로 매핑하므로 튜플 복잡도는 O(1)이 되어 선형 바운드와 모순됩니다.

시사점, 한계점

•

시사점:

◦

P != NP임을 증명하는 새로운 접근 방식 제시.

◦

대칭성, 희소성, 스위칭을 활용한 새로운 증명 기법 개발.

◦

quantale 상하 충돌을 통해 증명.

•

한계점:

◦

비상대론적이고 비자연적인 증명.

◦

특정 모델에 국한된 증명 (예: 마스크된 랜덤 Unique-SAT).

◦

구체적인 알고리즘적 함의는 제한적일 수 있음.

Made with Slashpage