Daily Arxiv

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

Something's Fishy In The Data Lake: A Critical Re-evaluation of Table Union Search Benchmarks

Breaking the Ceiling: Exploring the Potential of Jailbreak Attacks through Expanding Strategy Space

SageAttention2++: A More Efficient Implementation of SageAttention2

FCKT: Fine-Grained Cross-Task Knowledge Transfer with Semantic Contrastive Learning for Targeted Sentiment Analysis

Towards Conversational Development Environments: Using Theory-of-Mind and Multi-Agent Architectures for Requirements Refinement

Cooperation of Experts: Fusing Heterogeneous Information with Large Margin

RSCF: Relation-Semantics Consistent Filter for Entity Embedding of Knowledge Graph

CogniBench: A Legal-inspired Framework and Dataset for Assessing Cognitive Faithfulness of Large Language Models

VLM Can Be a Good Assistant: Enhancing Embodied Visual Tracking with Self-Improving Vision-Language Models

In-context Language Learning for Endangered Languages in Speech Recognition

OpenS2V-Nexus: A Detailed Benchmark and Million-Scale Dataset for Subject-to-Video Generation

Inference-time Alignment in Continuous Space

Incentivizing Strong Reasoning from Weak Supervision

JEDI: Latent End-to-end Diffusion Mitigates Agent-Human Performance Asymmetry in Model-Based Reinforcement Learning

A Comprehensive Real-World Assessment of Audio Watermarking Algorithms: Will They Survive Neural Codecs?

AgentRecBench: Benchmarking LLM Agent-based Personalized Recommender Systems

Towards Large Reasoning Models for Agriculture

VTool-R1: VLMs Learn to Think with Images via Reinforcement Learning on Multimodal Tool Use

OptiMindTune: A Multi-Agent Framework for Intelligent Hyperparameter Optimization

FastMamba: A High-Speed and Efficient Mamba Accelerator on FPGA with Accurate Quantization

Moderating Harm: Benchmarking Large Language Models for Cyberbullying Detection in YouTube Comments

ALPS: Attention Localization and Pruning Strategy for Efficient Alignment of Large Language Models

Deep Video Discovery: Agentic Search with Tool Use for Long-form Video Understanding

Towards Practical Defect-Focused Automated Code Review

EVM-Fusion: An Explainable Vision Mamba Architecture with Neural Algorithmic Fusion

PAEFF: Precise Alignment and Enhanced Gated Feature Fusion for Face-Voice Association

Text Generation Beyond Discrete Token Sampling

AKRMap: Adaptive Kernel Regression for Trustworthy Visualization of Cross-Modal Embeddings

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping

Advancing Sequential Numerical Prediction in Autoregressive Models

Towards Visuospatial Cognition via Hierarchical Fusion of Visual Experts

Visuospatial Cognitive Assistant

Exploring Criteria of Loss Reweighting to Enhance LLM Unlearning

Search and Refine During Think: Autonomous Retrieval-Augmented Reasoning of LLMs

Learning When to Think: Shaping Adaptive Reasoning in R1-Style Models via Multi-Stage RL

LibIQ: Toward Real-Time Spectrum Classification in O-RAN dApps

Continuous Thought Machines

Robust Localization, Mapping, and Navigation for Quadruped Robots

Addressing Concept Mislabeling in Concept Bottleneck Models Through Preference Optimization

Automating tumor-infiltrating lymphocyte assessment in breast cancer histopathology images using QuPath: a transparent and accessible machine learning pipeline

Progressive Language-guided Visual Learning for Multi-Task Visual Grounding

A Comprehensive Survey in LLM(-Agent) Full Stack Safety: Data, Training and Deployment

Generative Framework for Personalized Persuasion: Inferring Causal, Counterfactual, and Latent Knowledge

Adjoint Sampling: Highly Scalable Diffusion Samplers via Adjoint Matching

Layers at Similar Depths Generate Similar Activations Across LLM Architectures

A Knowledge-guided Adversarial Defense for Resisting Malicious Visual Manipulation

SynWorld: Virtual Scenario Synthesis for Agentic Action Knowledge Refinement

Token embeddings violate the manifold hypothesis

HumanAesExpert: Advancing a Multi-Modality Foundation Model for Human Image Aesthetic Assessment

Improving User Behavior Prediction: Leveraging Annotator Metadata in Supervised Machine Learning Models

Experience Retrieval-Augmentation with Electronic Health Records Enables Accurate Discharge QA

From Head to Tail: Towards Balanced Representation in Large Vision-Language Models through Adaptive Data Calibration

Language-Enhanced Representation Learning for Single-Cell Transcriptomics

TS-RAG: Retrieval-Augmented Generation based Time Series Foundation Models are Stronger Zero-Shot Forecaster

When Trust Collides: Decoding Human-LLM Cooperation Dynamics through the Prisoner's Dilemma

WISE: A World Knowledge-Informed Semantic Evaluation for Text-to-Image Generation

Optimal Output Feedback Learning Control for Discrete-Time Linear Quadratic Regulation

Wanda++: Pruning Large Language Models via Regional Gradients

LINGOLY-TOO: Disentangling Reasoning from Knowledge with Templatised Orthographic Obfuscation

Deficient Excitation in Parameter Learning

Interpreting CLIP with Hierarchical Sparse Autoencoders

BatteryLife: A Comprehensive Dataset and Benchmark for Battery Life Prediction

Self-Taught Agentic Long Context Understanding

ReQFlow: Rectified Quaternion Flow for Efficient and High-Quality Protein Backbone Generation

How Do LLMs Perform Two-Hop Reasoning in Context?

ThinkGuard: Deliberative Slow Thinking Leads to Cautious Guardrails

MUDDFormer: Breaking Residual Bottlenecks in Transformers via Multiway Dynamic Dense Connections

ReLearn: Unlearning via Learning for Large Language Models

Revisiting Weak-to-Strong Generalization in Theory and Practice: Reverse KL vs. Forward KL

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems

Non-Markovian Discrete Diffusion with Causal Language Models

CoSER: Coordinating LLM-Based Persona Simulation of Established Roles

TransMLA: Migrating GQA Models to MLA with Full DeepSeek Compatibility and Speedup

UniDB: A Unified Diffusion Bridge Framework via Stochastic Optimal Control

Beyond External Monitors: Enhancing Transparency of Large Language Models for Easier Monitoring

ExpProof : Operationalizing Explanations for Confidential Models with ZKPs

Advancing Reasoning in Large Language Models: Promising Methods and Approaches

Path Planning for Masked Diffusion Model Sampling

LV-XAttn: Distributed Cross-Attention for Long Visual Inputs in Multimodal Large Language Models

Robust LLM Alignment via Distributionally Robust Direct Preference Optimization

Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations

Message-Passing GNNs Fail to Approximate Sparse Triangular Factorizations

LoRA-One: One-Step Full Gradient Could Suffice for Fine-Tuning Large Language Models, Provably and Efficiently

Distribution-aware Fairness Learning in Medical Image Segmentation From A Control-Theoretic Perspective

A Checks-and-Balances Framework for Context-Aware Ethical AI Alignment

Risk-Informed Diffusion Transformer for Long-Tail Trajectory Prediction in the Crash Scenario

Can Large Language Models Be Trusted as Evolutionary Optimizers for Network-Structured Combinatorial Problems?

Redundancy Principles for MLLMs Benchmarks

K-COMP: Retrieval-Augmented Medical Domain Question Answering With Knowledge-Injected Compressor

An Innovative Data-Driven and Adaptive Reinforcement Learning Approach for Context-Aware Prescriptive Process Monitoring

Diffusion Adversarial Post-Training for One-Step Video Generation

Gender-Neutral Large Language Models for Medical Applications: Reducing Bias in PubMed Abstracts

PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models

Constraint-Adaptive Policy Switching for Offline Safe Reinforcement Learning

Revisiting In-Context Learning with Long Context Language Models

Energy and polarization based on-line interference mitigation in radio interferometry

How to Synthesize Text Data without Model Collapse?

Preference Adaptive and Sequential Text-to-Image Generation

Sample Efficient Robot Learning in Supervised Effect Prediction Tasks

Federated Continual Graph Learning

Faithful Logic Embeddings in HOL -- Deep and Shallow

Created by

Haebom

저자

Christoph Benzmuller

개요

본 논문은 다양한 정도의 심층 및 천층 임베딩을 고전적 고차 논리에 동시에 적용하는 방법을 제시합니다. 이는 메타 및 객체 수준에서 유연하고 상호 작용적이며 자동화된 정리 증명 및 반례 발견뿐만 아니라 이러한 논리 임베딩 간의 자동화된 충실성 증명을 가능하게 합니다. 단순한 명제적 모달 논리를 사용하여 이 방법을 설명하지만, 이 접근 방식은 개념적으로 본질적이며 이러한 단순한 논리적 맥락에 국한되지 않습니다. 최근 몇 년 동안 비고전 논리의 고전적 고차 논리에 대한 심층 및 천층 임베딩이 탐구, 구현 및 다양한 추론 도구에 사용되어 왔습니다.

시사점, 한계점

•

시사점: 논리 교육, 연구 및 응용에 유익하며 메타 및 객체 수준에서의 자동화된 정리 증명 및 반례 발견을 가능하게 합니다. 심층 및 천층 임베딩 간의 자동화된 충실성 증명을 지원합니다. 다양한 논리 시스템에 적용 가능한 개념적 프레임워크를 제공합니다.

•

한계점: 제시된 방법은 단순한 명제적 모달 논리에 대한 예시로 제한되어 있으며, 실제 복잡한 논리 시스템에 적용했을 때의 효율성 및 성능에 대한 평가가 부족합니다. 구체적인 구현 및 성능 평가가 결여되어 있습니다.

Made with Slashpage