Daily Arxiv

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

Enhancing Password Security Through a High-Accuracy Scoring Framework Using Random Forests

Potent but Stealthy: Rethink Profile Pollution against Sequential Recommendation via Bi-level Constrained Reinforcement Paradigm

Leveraging Large Language Models for Use Case Model Generation from Software Requirements

Enhancing PIBT via Multi-Action Operations

PressTrack-HMR: Pressure-Based Top-Down Multi-Person Global Human Mesh Recovery

Thinking Forward and Backward: Multi-Objective Reinforcement Learning for Retrieval-Augmented Reasoning

PAN: A World Model for General, Interactable, and Long-Horizon World Simulation

Learning the Basis: A Kolmogorov-Arnold Network Approach Embedding Green's Function Priors

Automatic Grid Updates for Kolmogorov-Arnold Networks using Layer Histograms

Remodeling Semantic Relationships in Vision-Language Fine-Tuning

Biologically-Informed Hybrid Membership Inference Attacks on Generative Genomic Models

MVU-Eval: Towards Multi-Video Understanding Evaluation for Multimodal LLMs

Explainable Cross-Disease Reasoning for Cardiovascular Risk Assessment from LDCT

Retrieval-Augmented Generation in Medicine: A Scoping Review of Technical Implementations, Clinical Applications, and Ethical Considerations

Personalized Chain-of-Thought Summarization of Financial News for Investor Decision Support

Search Is Not Retrieval: Decoupling Semantic Matching from Contextual Assembly in RAG

Does AI-Assisted Coding Deliver? A Difference-in-Differences Study of Cursor's Impact on Software Projects

CORE - A Cell-Level Coarse-to-Fine Image Registration Engine for Multi-stain Image Alignment

Text to Robotic Assembly of Multi Component Objects using 3D Generative AI and Vision Language Models

WOD-E2E: Waymo Open Dataset for End-to-End Driving in Challenging Long-tail Scenarios

Xiaoice: Training-Free Video Understanding via Self-Supervised Spatio-Temporal Clustering of Semantic Features

A Critical Review of the Need for Knowledge-Centric Evaluation of Quranic Recitation

The Markovian Thinker: Architecture-Agnostic Linear Scaling of Reasoning

Artificial-Intelligence Grading Assistance for Handwritten Components of a Calculus Exam

Computing Wasserstein Barycenters through Gradient Flows

Enhancing the development of Cherenkov Telescope Array control software with Large Language Models

GPT and Prejudice: A Sparse Approach to Understanding Learned Representations in Large Language Models

One-Shot Multi-Label Causal Discovery in High-Dimensional Event Sequences

FHIR-AgentBench: Benchmarking LLM Agents for Realistic Interoperable EHR Question Answering

Towards Practical Multi-label Causal Discovery in High-Dimensional Event Sequences via One-Shot Graph Aggregation

Inference Offloading for Cost-Sensitive Binary Classification at the Edge

Collapse of Irrelevant Representations (CIR) Ensures Robust and Non-Disruptive LLM Unlearning

Zero-Shot Referring Expression Comprehension via Vison-Language True/False Verification

Retrieval-Augmented Generation for Reliable Interpretation of Radio Regulations

Dual-Mode Deep Anomaly Detection for Medical Manufacturing: Structural Similarity and Feature Distance

ManipDreamer3D : Synthesizing Plausible Robotic Manipulation Video with Occupancy-aware 3D Trajectory

ChronoGraph: A Real-World Graph-Based Multivariate Time Series Dataset

Bine Trees: Enhancing Collective Operations by Optimizing Communication Locality

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

Improving Pre-Trained Vision-Language-Action Policies with Model-Based Search

Beyond Frequency: Seeing Subtle Cues Through the Lens of Spatial Decomposition for Fine-Grained Visual Classification

Test-Time Reinforcement Learning for GUI Grounding via Region Consistency

Towards Embodied Agentic AI: Review and Classification of LLM- and VLM-Driven Robot Autonomy and Interaction

Application-Specific Component-Aware Structured Pruning of Deep Neural Networks in Control via Soft Coefficient Optimization

Cameras as Relative Positional Encoding

The Prompt War: How AI Decides on a Military Intervention

xLSTMAD: A Powerful xLSTM-based Method for Anomaly Detection

Why Do Open-Source LLMs Struggle with Data Analysis? A Systematic Empirical Study

Interpretable and Granular Video-Based Quantification of Motor Characteristics from the Finger Tapping Test in Parkinson Disease

Feedback-MPPI: Fast Sampling-Based MPC via Rollout Differentiation -- Adios low-level controllers

VFEFL: Privacy-Preserving Federated Learning against Malicious Clients via Verifiable Functional Encryption

Understanding Human-AI Trust in Education

Beyond the 80/20 Rule: High-Entropy Minority Tokens Drive Effective Reinforcement Learning for LLM Reasoning

Scaling Textual Gradients via Sampling-Based Momentum

Caption This, Reason That: VLMs Caught in the Middle

BroadGen: A Framework for Generating Effective and Efficient Advertiser Broad Match Keyphrase Recommendations

Revisiting Residual Connections: Orthogonal Updates for Stable and Efficient Deep Networks

Scalable Quantum State Preparation via Large-Language-Model-Driven Discovery

OODTE: A Differential Testing Engine for the ONNX Optimizer

Constructing an Optimal Behavior Basis for the Option Keyboard

Bridging LMS and generative AI: dynamic course content integration (DCCI) for enhancing student satisfaction and engagement via the ask ME assistant

ForAug: Recombining Foregrounds and Backgrounds to Improve Vision Transformer Training with Bias Mitigation

Feature-EndoGaussian: Feature Distilled Gaussian Splatting in Surgical Deformable Scene Reconstruction

Abn-BLIP: Abnormality-aligned Bootstrapping Language-Image Pre-training for Pulmonary Embolism Diagnosis and Report Generation from CTPA

FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language Models

MMTEB: Massive Multilingual Text Embedding Benchmark

Enhanced Structured Lasso Pruning with Class-wise Information

CoAT: Chain-of-Associated-Thoughts Framework for Enhancing Large Language Models Reasoning

Graph of Attacks with Pruning: Optimizing Stealthy Jailbreak Prompt Generation for Enhanced LLM Content Moderation

Siren: A Learning-Based Multi-Turn Attack Framework for Simulating Real-World Human Jailbreak Behaviors

Enhanced Suicidal Ideation Detection from Social Media Using a CNN-BiLSTM Hybrid Model

Interpretable Neural ODEs for Gene Regulatory Network Discovery under Perturbations

Reducing the Scope of Language Models

Matryoshka Pilot: Learning to Drive Black-Box LLMs with LLMs

Captions Speak Louder than Images: Generalizing Foundation Models for E-commerce from High-quality Multimodal Instruction Data

Multi-Turn Interactions for Text-to-SQL with Large Language Models

Differentiating between human-written and AI-generated texts using linguistic features automatically extracted from an online computational tool

Spikingformer: A Key Foundation Model for Spiking Neural Networks

SOM Directions are Better than One: Multi-Directional Refusal Suppression in Language Models

An Efficient Training Pipeline for Reasoning Graphical User Interface Agents

National Institute on Aging PREPARE Challenge: Early Detection of Cognitive Impairment Using Speech -- The SpeechCARE Solution

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

Enhancing Logical Expressiveness in Graph Neural Networks via Path-Neighbor Aggregation

WaterMod: Modular Token-Rank Partitioning for Probability-Balanced LLM Watermarking

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

GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets

A Brain Cell Type Resource Created by Large Language Models and a Multi-Agent AI System for Collaborative Community Annotation

LiveResearchBench: A Live Benchmark for User-Centric Deep Research in the Wild

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics

PsychCounsel-Bench: Evaluating the Psychology Intelligence of Large Language Models

DOoM: Difficult Olympiads of Math

From Capabilities to Performance: Evaluating Key Functional Properties of LLM Architectures in Penetration Testing

Planning Agents on an Ego-Trip: Leveraging Hybrid Ego-Graph Ensembles for Improved Tool Retrieval in Enterprise Task Planning

PITA: Preference-Guided Inference-Time Alignment for LLM Post-Training

Small Models Struggle to Learn from Strong Reasoners

Unlocking Efficient Vehicle Dynamics Modeling via Analytic World Models

Enhancing Conflict Resolution in Language Models via Abstract Argumentation

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation

A Comprehensive Survey on Multi-modal Conversational Emotion Recognition with Deep Learning

Black-Box On-Policy Distillation of Large Language Models

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors

Created by

Haebom

저자

Harim Yoo

개요

Axiom-Based Atlas는 수학 정리를 기초 공리 시스템 상의 증명 벡터로 구조적으로 나타내는 새로운 프레임워크입니다. 힐베르트 기하학, 페아노 산술 또는 ZFC와 같은 공리로 색인된 벡터에 정리의 논리적 의존성을 매핑하여 수학적 지식을 시각화, 비교 및 분석하는 새로운 방법을 제공합니다. 이 벡터 기반 형식은 정리의 논리적 기반을 포착할 뿐만 아니라 코사인 거리와 같은 수학적 결과 간의 정량적 유사성 측정을 가능하게 하여 구조적 비교를 위한 새로운 분석 계층을 제공합니다. 히트맵, 벡터 클러스터링 및 AI 지원 모델링을 사용하여 이 아틀라스는 수학적 영역이 아닌 논리적 구조에 따라 정리를 그룹화할 수 있습니다. 또한 자연어 정리를 해석하고 가능한 증명 벡터를 제안하는 프로토타입 어시스턴트(Atlas-GPT)를 소개하여 자동 추론, 수학 교육 및 형식적 검증의 미래 응용 프로그램을 지원합니다. 이 방향은 Terence Tao의 상징적 수학과 구조적 수학의 융합에 대한 최근 반성에서 부분적으로 영감을 받았습니다. Axiom-Based Atlas는 인간이 읽을 수 있고 AI와 호환되는 확장 가능하고 해석 가능한 수학적 추론 모델을 제공하여 미래의 형식 수학 시스템에 기여하는 것을 목표로 합니다.

시사점, 한계점

•

시사점:

◦

수학 정리의 논리적 구조를 시각화하고 분석하는 새로운 방법 제공

◦

수학적 결과 간의 정량적 유사성 측정 가능

◦

수학적 정리의 논리적 구조에 따른 그룹화 가능

◦

자동 추론, 수학 교육, 형식적 검증 분야에의 응용 가능성

◦

상징적 수학과 구조적 수학의 융합에 기여

•

한계점:

◦

프레임워크의 확장성 및 실제 적용 가능성에 대한 추가적인 검증 필요

◦

Atlas-GPT의 성능 및 정확도에 대한 평가 필요

◦

다양한 수학 분야에 대한 적용 가능성 및 한계 규명 필요

◦

복잡한 정리에 대한 증명 벡터 생성의 어려움

◦

기초 공리 시스템의 선택에 따른 결과의 편향 가능성

Made with Slashpage