Daily Arxiv

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

Grasp Any Region: Towards Precise, Contextual Pixel Understanding for Multimodal LLMs

ScaleNet: Scaling up Pretrained Neural Networks with Incremental Parameters

Text or Pixels? It Takes Half: On the Token Efficiency of Visual Text Inputs in Multimodal LLMs

The Emergence of Complex Behavior in Large-Scale Ecological Environments

PLAGUE: Plug-and-play framework for Lifelong Adaptive Generation of Multi-turn Exploits

Multi-Agent Design Assistant for the Simulation of Inertial Fusion Energy

MUG-V 10B: High-efficiency Training Pipeline for Large Video Generation Models

Context-Aware Pseudo-Label Scoring for Zero-Shot Video Summarization

SparseWorld: A Flexible, Adaptive, and Efficient 4D Occupancy World Model Powered by Sparse and Dynamic Queries

Efficient Vision-Language-Action Models for Embodied Manipulation: A Systematic Survey

Agentic Inequality

Natural Language Processing for Cardiology: A Narrative Review

Can LLMs Correct Themselves? A Benchmark of Self-Correction in LLMs

VERA-MH Concept Paper

The Coverage Principle: How Pre-Training Enables Post-Training

LeapFactual: Reliable Visual Counterfactual Explanation Using Conditional Flow Matching

Mathematics with large language models as provers and verifiers

Coordinated Strategies in Realistic Air Combat by Hierarchical Multi-Agent Reinforcement Learning

Learning What Matters: Steering Diffusion via Spectrally Anisotropic Forward Noise

dInfer: An Efficient Inference Framework for Diffusion Language Models

gLSTM: Mitigating Over-Squashing by Increasing Storage Capacity

BlockGPT: Spatio-Temporal Modelling of Rainfall via Frame-Level Autoregression

Improving Metacognition and Uncertainty Communication in Language Models

ALHD: A Large-Scale and Multigenre Benchmark Dataset for Arabic LLM-Generated Text Detection

ACT: Agentic Classification Tree

Q-Palette: Fractional-Bit Quantizers Toward Optimal Bit Allocation for Efficient LLM Deployment

SPiDR: A Simple Approach for Zero-Shot Safety in Sim-to-Real Transfer

Training-Free Label Space Alignment for Universal Domain Adaptation

Conformal Prediction for Time-series Forecasting with Change Points

Middo: Model-Informed Dynamic Data Optimization for Enhanced LLM Fine-Tuning via Closed-Loop Learning

Breaking the Exploration Bottleneck: Rubric-Scaffolded Reinforcement Learning for General LLM Reasoning

Who's Asking? Investigating Bias Through the Lens of Disability Framed Queries in LLMs

MeanAudio: Fast and Faithful Text-to-Audio Generation with Mean Flows

Explaining Time Series Classifiers with PHAR: Rule Extraction and Fusion from Post-hoc Attributions

RoboMemory: A Brain-inspired Multi-memory Agentic Framework for Interactive Environmental Learning in Physical Embodied Systems

Where are we with calibration under dataset shift in image classification?

On the Effectiveness of Methods and Metrics for Explainable AI in Remote Sensing Image Scene Classification

PRING: Rethinking Protein-Protein Interaction Prediction from Pairs to Graphs

PULSE: Practical Evaluation Scenarios for Large Multimodal Model Unlearning

Pay Attention to Small Weights

Understanding Reasoning in Thinking Language Models via Steering Vectors

Chiron-o1: Igniting Multimodal Large Language Models towards Generalizable Medical Reasoning via Mentor-Intern Collaborative Search

With Limited Data for Multimodal Alignment, Let the STRUCTURE Guide You

Improved Exploration in GFlownets via Enhanced Epistemic Neural Networks

One-Step Diffusion for Detail-Rich and Temporally Consistent Video Super-Resolution

Flexible-length Text Infilling for Discrete Diffusion Models

GUARD: Guided Unlearning and Retention via Data Attribution for Large Language Models

TimeWak: Temporal Chained-Hashing Watermark for Time Series Data

Horizon Reduction Makes RL Scalable

QoQ-Med: Building Multimodal Clinical Foundation Models with Domain-Aware GRPO Training

Learning from Videos for 3D World: Enhancing MLLMs with 3D Vision Geometry Priors

Unlearned but Not Forgotten: Data Extraction after Exact Unlearning in LLM

MLR-Bench: Evaluating AI Agents on Open-Ended Machine Learning Research

High-order Equivariant Flow Matching for Density Functional Theory Hamiltonian Prediction

Evaluating NLP Embedding Models for Handling Science-Specific Symbolic Expressions in Student Texts

An Analysis of Concept Bottleneck Models: Measuring, Understanding, and Mitigating the Impact of Noisy Annotations

Improving planning and MBRL with temporally-extended actions

CtrlDiff: Boosting Large Diffusion Language Models with Dynamic Block Prediction and Controllable Generation

Concept-Guided Interpretability via Neural Chunking

A Multi-Task Foundation Model for Wireless Channel Representation Using Contrastive and Masked Autoencoder Learning

Memorization-Compression Cycles Improve Generalization

LongCodeBench: Evaluating Coding LLMs at 1M Context Windows

Quantum Natural Language Processing: A Comprehensive Review of Models, Methods, and Applications

Merging Embedded Topics with Optimal Transport for Online Topic Modeling on Data Streams

NAACL2025 Tutorial: Adaptation of Large Language Models

GeoBenchX: Benchmarking LLMs in Agent Solving Multistep Geospatial Tasks

Provably Efficient Reward Transfer in Reinforcement Learning with Discrete Markov Decision Processes

TinySQL: A Progressive Text-to-SQL Dataset for Mechanistic Interpretability Research

PTFA: An LLM-based Agent that Facilitates Online Consensus Building through Parallel Thinking

EgoBlind: Towards Egocentric Visual Assistance for the Blind

Merge then Realign: Simple and Effective Modality-Incremental Continual Learning for Multimodal LLMs

FairGen: Controlling Sensitive Attributes for Fair Generations in Diffusion Models via Adaptive Latent Guidance

Towards Enhanced Image Generation Via Multi-modal Chain of Thought in Unified Generative Models

Probing Perceptual Constancy in Large Vision-Language Models

An Efficient Local Search Approach for Polarized Community Discovery in Signed Networks

ModServe: Modality- and Stage-Aware Resource Disaggregation for Scalable Multimodal Model Serving

Graph Representation Learning with Diffusion Generative Models

Demystifying Domain-adaptive Post-training for Financial LLMs

Explainable fault and severity classification for rolling element bearings using Kolmogorov-Arnold networks

Open-World Drone Active Tracking with Goal-Centered Rewards

Fast MRI for All: Bridging Access Gaps by Training without Raw Data

Benchmarking Large Language Models with Integer Sequence Generation Tasks

Model-based Large Language Model Customization as Service

Learning Linear Attention in Polynomial Time

Unveiling Transformer Perception by Exploring Input Manifolds

PARCO: Parallel AutoRegressive Models for Multi-Agent Combinatorial Optimization

Estimating Long-term Heterogeneous Dose-response Curve: Generalization Bound Leveraging Optimal Transport Weights

LICO: Large Language Models for In-Context Molecular Optimization

Towards Context-Aware Domain Generalization: Understanding the Benefits and Limits of Marginal Transfer Learning

Embedding in Recommender Systems: A Survey

FP-IRL: Fokker-Planck Inverse Reinforcement Learning -- A Physics-Constrained Approach to Markov Decision Processes

FST.ai 2.0: An Explainable AI Ecosystem for Fair, Fast, and Inclusive Decision-Making in Olympic and Paralympic Taekwondo

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

MedRule-KG: A Knowledge-Graph--Steered Scaffold for Mathematical Reasoning with a Lightweight Verifier

The Right to Be Remembered: Preserving Maximally Truthful Digital Memory in the Age of AI

Invoice Information Extraction: Methods and Performance Evaluation

RoboGPT-R1: Enhancing Robot Planning with Reinforcement Learning

ARM-FM: Automated Reward Machines via Foundation Models for Compositional Reinforcement Learning

Base Models Know How to Reason, Thinking Models Learn When

The Open Syndrome Definition

Mathematics with large language models as provers and verifiers

Created by

Haebom

저자

Hieu Le Duc, Leo Liberti

개요

2024-2025년 대규모 언어 모델의 정리 증명 능력에 대한 연구가 진행되었으며, 본 논문에서는 GPT-5 모델의 여러 인스턴스를 활용한 협업 프로토콜을 통해 ChatGPT가 달성한 정리 증명 성과를 보고한다. 특히, 2025년 국제 수학 올림피아드(IMO) 문제 6개 중 5개를 해결하고, [Cohen, Journal of Integer Sequences, 2025]에 제시된 66개의 정수론 추측 중 약 1/3을 증명했다. 생성된 증명의 환각(hallucination)을 방지하기 위해 Lean 증명 보조 도구를 사용하여 최종 증명을 공식적으로 검증하고, 인간 검토자가 Lean 코드의 전제와 결론의 일치를 확인했다.

시사점, 한계점

•

GPT-5 모델의 협업을 통한 정리 증명 능력 입증.

•

IMO 문제 및 정수론 추측 해결 성공.

•

Lean 증명 보조 도구 및 인간 검토를 통한 증명의 신뢰성 확보 시도.

•

완벽하거나 정확한 방법론은 아님.

•

해결 가능한 문제의 범위에 대한 추가 연구 필요.

•

환각 방지를 위한 검증 과정의 개선 여지 존재.

Made with Slashpage