Daily Arxiv

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

UniWorld: High-Resolution Semantic Encoders for Unified Visual Understanding and Generation

Critique-GRPO: Advancing LLM Reasoning with Natural Language and Numerical Feedback

High Performance Space Debris Tracking in Complex Skylight Backgrounds with a Large-Scale Dataset

Multi Layered Autonomy and AI Ecologies in Robotic Art Installations

CoRe-MMRAG: Cross-Source Knowledge Reconciliation for Multimodal RAG

Comparative Analysis of AI Agent Architectures for Entity Relationship Classification

MINT: Multimodal Instruction Tuning with Multimodal Interaction Grouping

Random-key genetic algorithms: Principles and applications

Music Interpretation and Emotion Perception: A Computational and Neurophysiological Investigation

FlashMLA-ETAP: Efficient Transpose Attention Pipeline for Accelerating MLA Inference on NVIDIA H20 GPUs

MedEBench: Revisiting Text-instructed Image Editing on Medical Domain

Tug-of-war between idiom's figurative and literal meanings in LLMs

Optimizing Sensory Neurons: Nonlinear Attention Mechanisms for Accelerated Convergence in Permutation-Invariant Neural Networks for Reinforcement Learning

It Takes a Good Model to Train a Good Model: Generalized Gaussian Priors for Optimized LLMs

Recover Experimental Data with Selection Bias using Counterfactual Logic

Children's Voice Privacy: First Steps And Emerging Challenges

ClinBench-HPB: A Clinical Benchmark for Evaluating LLMs in Hepato-Pancreato-Biliary Diseases

Bench4KE: Benchmarking Automated Competency Question Generation

Object Centric Concept Bottlenecks

Grid-LOGAT: Grid Based Local and Global Area Transcription for Video Question Answering

AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning

Large Language Models are Locally Linear Mappings

LayerIF: Estimating Layer Quality for Large Language Models using Influence Functions

Mind the Gap: A Practical Attack on GGUF Quantization

Comparing the Effects of Persistence Barcodes Aggregation and Feature Concatenation on Medical Imaging

The Arabic AI Fingerprint: Stylometric Analysis and Detection of Large Language Models Text

Implicit Inversion turns CLIP into a Decoder

ATI: Any Trajectory Instruction for Controllable Video Generation

What happens when generative AI models train recursively on each others' generated outputs?

Trans-EnV: A Framework for Evaluating the Linguistic Robustness of LLMs Against English Varieties

Adversarial bandit optimization for approximately linear functions

What LLMs Miss in Recommendations: Bridging the Gap with Retrieval-Augmented Collaborative Signals

Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners

EgoZero: Robot Learning from Smart Glasses

Fact-R1: Towards Explainable Video Misinformation Detection with Deep Reasoning

SEM: Enhancing Spatial Understanding for Robust Robot Manipulation

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

Algorithmic Tradeoffs in Fair Lending: Profitability, Compliance, and Long-Term Impact

SourceDetMamba: A Graph-aware State Space Model for Source Detection in Sequential Hypergraphs

HyperDet: Source Detection in Hypergraphs via Interactive Relationship Construction and Feature-rich Attention Fusion

Exploring Sparsity for Parameter Efficient Fine Tuning Using Wavelets

THELMA: Task Based Holistic Evaluation of Large Language Model Applications-RAG Question Answering

FactsR: A Safer Method for Producing High Quality Healthcare Documentation

Crowd Scene Analysis using Deep Learning Techniques

Improved Uncertainty Quantification in Physics-Informed Neural Networks Using Error Bounds and Solution Bundles

Flow-GRPO: Training Flow Matching Models via Online RL

LLM Code Customization with Visual Results: A Benchmark on TikZ

The Cognitive Foundations of Economic Exchange: A Modular Framework Grounded in Behavioral Evidence

CARL: Camera-Agnostic Representation Learning for Spectral Image Analysis

Biased by Design: Leveraging AI Inherent Biases to Enhance Critical Thinking of News Readers

A Survey on (M)LLM-Based GUI Agents

Revisiting Uncertainty Quantification Evaluation in Language Models: Spurious Interactions with Response Length Bias Results

Token-Driven GammaTune: Adaptive Calibration for Enhanced Speculative Decoding

VecTrans: Enhancing Compiler Auto-Vectorization through LLM-Assisted Code Transformations

Detecting Dataset Bias in Medical AI: A Generalized and Modality-Agnostic Auditing Framework

Language-Enhanced Representation Learning for Single-Cell Transcriptomics

SemHiTok: A Unified Image Tokenizer via Semantic-Guided Hierarchical Codebook for Multimodal Understanding and Generation

PFDial: A Structured Dialogue Instruction Fine-tuning Method Based on UML Flowcharts

ROGRAG: A Robustly Optimized GraphRAG Framework

Knowledge Retention for Continual Model-Based Reinforcement Learning

The Role of Visual Modality in Multimodal Mathematical Reasoning: Challenges and Insights

Dynamic Benchmarking of Reasoning Capabilities in Code Large Language Models Under Data Contamination

M3HF: Multi-agent Reinforcement Learning from Multi-phase Human Feedback of Mixed Quality

Anomaly Detection in Complex Dynamical Systems: A Systematic Framework Using Embedding Theory and Physics-Inspired Consistency

Sliding Window Attention Training for Efficient Large Language Models

The Built-In Robustness of Decentralized Federated Averaging to Bad Data

Aligning Compound AI Systems via System-level DPO

D2S-FLOW: Automated Parameter Extraction from Datasheets for SPICE Model Generation Using Large Language Models

FragFM: Hierarchical Framework for Efficient Molecule Generation via Fragment-Level Discrete Flow Matching

Human Misperception of Generative-AI Alignment: A Laboratory Experiment

ATRI: Mitigating Multilingual Audio Text Retrieval Inconsistencies by Reducing Data Distribution Errors

Dehumanizing Machines: Mitigating Anthropomorphic Behaviors in Text Generation Systems

Why Safeguarded Ships Run Aground? Aligned Large Language Models' Safety Mechanisms Tend to Be Anchored in The Template Region

Sleepless Nights, Sugary Days: Creating Synthetic Users with Health Conditions for Realistic Coaching Agent Interactions

Visual Attention Never Fades: Selective Progressive Attention ReCalibration for Detailed Image Captioning in Multimodal Large Language Models

Data-Juicer 2.0: Cloud-Scale Adaptive Data Processing for and with Foundation Models

Improving thermal state preparation of Sachdev-Ye-Kitaev model with reinforcement learning on quantum hardware

Neural Honeytrace: A Robust Plug-and-Play Watermarking Framework against Model Extraction Attacks

Model Alignment Search

Verbosity-Aware Rationale Reduction: Effective Reduction of Redundant Rationale via Principled Criteria

Data Laundering: Artificially Boosting Benchmark Results through Knowledge Distillation

HashAttention: Semantic Sparsity for Faster Inference

RAC3: Retrieval-Augmented Corner Case Comprehension for Autonomous Driving with Vision-Language Models

From Intention To Implementation: Automating Biomedical Research via LLMs

MMedPO: Aligning Medical Vision-Language Models with Clinical-Aware Multimodal Preference Optimization

T2I-FactualBench: Benchmarking the Factuality of Text-to-Image Models with Knowledge-Intensive Concepts

Mixture of Experts for Node Classification

CAdam: Confidence-Based Optimization for Online Learning

CatNet: Controlling the False Discovery Rate in LSTM with SHAP Feature Importance and Gaussian Mirrors

Engagement-Driven Content Generation with Large Language Models

A Survey of Event Causality Identification: Taxonomy, Challenges, Assessment, and Prospects

RoundTable: Investigating Group Decision-Making Mechanism in Multi-Agent Collaboration

Objective drives the consistency of representational similarity across datasets

Improving Radiology Report Conciseness and Structure via Local Large Language Models

Enabling LLM Knowledge Analysis via Extensive Materialization

Generating Synthetic Electronic Health Record Data: a Methodological Scoping Review with Benchmarking on Phenotype Data and Open-Source Software

Generative Emotion Cause Explanation in Multimodal Conversations

LoGU: Long-form Generation with Uncertainty Expressions

Expand and Compress: Exploring Tuning Principles for Continual Spatio-Temporal Graph Forecasting

Nudging: Inference-time Alignment of LLMs via Guided Decoding

Faithful Logic Embeddings in HOL -- Deep and Shallow

Created by

Haebom

저자

Christoph Benzmuller

개요

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

시사점, 한계점

•

시사점:

◦

논리 교육, 연구 및 응용에 유용한 새로운 방법 제시

◦

메타 및 객체 수준에서의 유연하고 상호 작용적인 자동 정리 증명 및 반례 탐색 가능

◦

다양한 논리 임베딩 간의 자동 충실성 증명 가능

◦

심층 및 천층 임베딩의 동시 배포를 통한 유연성 증대

•

한계점:

◦

제시된 방법은 단순 명제 모달 논리를 사용하여 설명되었으며, 다른 논리 시스템으로의 일반화에 대한 추가 연구가 필요함.

◦

개념적 접근 방식으로, 실제 구현 및 성능 평가에 대한 추가 연구가 필요함.

Made with Slashpage