Daily Arxiv

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

VGR: Visual Grounded Reasoning

Improving Multimodal Learning Balance and Sufficiency through Data Remixing

Autonomous Computer Vision Development with Agentic AI

A Self-Refining Framework for Enhancing ASR Using TTS-Synthesized Data

Enabling On-Device Medical AI Assistants via Input-Driven Saliency Adaptation

Task-aligned prompting improves zero-shot detection of AI-generated images by Vision-Language Models

From Reasoning to Code: GRPO Optimization for Underrepresented Languages

Farseer: A Refined Scaling Law in Large Language Models

Monitoring Decomposition Attacks in LLMs with Lightweight Sequential Monitors

VideoDeepResearch: Long Video Understanding With Agentic Tool Using

Data Shifts Hurt CoT: A Theoretical Study

Specification and Evaluation of Multi-Agent LLM Systems -- Prototype and Cybersecurity Applications

Extended Creativity: A Conceptual Framework for Understanding Human-AI Creative Relations

Disclosure Audits for LLM Agents

A Survey of Generative Categories and Techniques in Multimodal Large Language Models

Resa: Transparent Reasoning Models via SAEs

EmoNet-Voice: A Fine-Grained, Expert-Verified Benchmark for Speech Emotion Detection

LPO: Towards Accurate GUI Agent Interaction via Location Preference Optimization

Latent Multi-Head Attention for Small Language Models

Intra-Trajectory Consistency for Reward Modeling

Foundation Models in Medical Imaging -- A Review and Outlook

EdgeProfiler: A Fast Profiling Framework for Lightweight LLMs on Edge Using Analytical Model

Segment Concealed Objects with Incomplete Supervision

Inherently Faithful Attention Maps for Vision Transformers

DRAGged into Conflicts: Detecting and Addressing Conflicting Sources in Search-Augmented LLMs

Sparse Interpretable Deep Learning with LIES Networks for Symbolic Regression

Agentic Surgical AI: Surgeon Style Fingerprinting and Privacy Risk Quantification via Discrete Diffusion in a Vision-Language-Action Framework

Reparameterized LLM Training via Orthogonal Equivalence Transformation

Lightweight Sequential Transformers for Blood Glucose Level Prediction in Type-1 Diabetes

SurgBench: A Unified Large-Scale Benchmark for Surgical Video Analysis

Synthesize Privacy-Preserving High-Resolution Images via Private Textual Intermediaries

LeVo: High-Quality Song Generation with Multi-Preference Alignment

FAMSeg: Fetal Femur and Cranial Ultrasound Segmentation Using Feature-Aware Attention and Mamba Enhancement

SALT: A Lightweight Model Adaptation Method for Closed Split Computing Environments

MAGNET: A Multi-agent Framework for Finding Audio-Visual Needles by Reasoning over Multi-Video Haystacks

Towards Physics-informed Diffusion for Anomaly Detection in Trajectories

SAFE: Finding Sparse and Flat Minima to Improve Pruning

Tactile MNIST: Benchmarking Active Tactile Perception

SafeGenBench: A Benchmark Framework for Security Vulnerability Detection in LLM-Generated Code

Hierarchical Language Models for Semantic Navigation and Manipulation in an Aerial-Ground Robotic System

MELABenchv1: Benchmarking Large Language Models against Smaller Fine-Tuned Models for Low-Resource Maltese NLP

Deep Learning-Based Breast Cancer Detection in Mammography: A Multi-Center Validation Study in Thai Population

KVCache Cache in the Wild: Characterizing and Optimizing KVCache Cache at a Large Cloud Provider

Incentivizing Reasoning for Advanced Instruction-Following of Large Language Models

From Argumentative Text to Argument Knowledge Graph: A New Framework for Structured Argumentation

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces

Diffusion Graph Neural Networks for Robustness in Olfaction Sensors and Datasets

COGNATE: Acceleration of Sparse Tensor Programs on Emerging Hardware using Transfer Learning

R-KV: Redundancy-aware KV Cache Compression for Reasoning Models

Quantum computing and artificial intelligence: status and perspectives

Bayesian Neural Scaling Law Extrapolation with Prior-Data Fitted Networks

On the performance of machine-learning-assisted Monte Carlo in sampling from simple statistical physics models

Train with Perturbation, Infer after Merging: A Two-Stage Framework for Continual Learning

SOSBENCH: Benchmarking Safety Alignment on Scientific Knowledge

PARTONOMY: Large Multimodal Models with Part-Level Visual Understanding

Transparency in Healthcare AI: Testing European Regulatory Provisions against Users' Transparency Needs

FoMoH: A clinically meaningful foundation model evaluation for structured electronic health records

Oversmoothing, Oversquashing, Heterophily, Long-Range, and more: Demystifying Common Beliefs in Graph Machine Learning

Learning to Rank Chain-of-Thought: An Energy-Based Approach with Outcome Supervision

Fixed Point Explainability

X-Sim: Cross-Embodiment Learning via Real-to-Sim-to-Real

JAEGER: Dual-Level Humanoid Whole-Body Controller

AgentVigil: Generic Black-Box Red-teaming for Indirect Prompt Injection against LLM Agents

AI Recommendations and Non-instrumental Image Concerns

Entropic Time Schedulers for Generative Diffusion Models

JEPA4Rec: Learning Effective Language Representations for Sequential Recommendation via Joint Embedding Predictive Architecture

Benchmarking Practices in LLM-driven Offensive Security: Testbeds, Metrics, and Experiment Design

Scholar Inbox: Personalized Paper Recommendations for Scientists

On Synthesizing Data for Context Attribution in Question Answering

Evaluating how LLM annotations represent diverse views on contentious topics

QualiSpeech: A Speech Quality Assessment Dataset with Natural Language Reasoning and Descriptions

ShED-HD: A Shannon Entropy Distribution Framework for Lightweight Hallucination Detection on Edge Devices

OS-Kairos: Adaptive Interaction for MLLM-Powered GUI Agents

MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion

Transformers without Normalization

Compute Optimal Scaling of Skills: Knowledge vs Reasoning

Identifying Trustworthiness Challenges in Deep Learning Models for Continental-Scale Water Quality Prediction

InfiniSST: Simultaneous Translation of Unbounded Speech with Large Language Model

From Euler to AI: Unifying Formulas for Mathematical Constants

C2-DPO: Constrained Controlled Direct Preference Optimization

Less is More: Improving LLM Alignment via Preference Data Selection

Quantifying Memorization and Parametric Response Rates in Retrieval-Augmented Vision-Language Models

ProMedTS: A Self-Supervised, Prompt-Guided Multimodal Approach for Integrating Medical Text and Time Series

Boosting Generalization in Diffusion-Based Neural Combinatorial Solver via Inference Time Adaptation

HARBOR: Exploring Persona Dynamics in Multi-Agent Competition

SelfCite: Self-Supervised Alignment for Context Attribution in Large Language Models

Truth Knows No Language: Evaluating Truthfulness Beyond English

PoGDiff: Product-of-Gaussians Diffusion Models for Imbalanced Text-to-Image Generation

Multi-Knowledge-oriented Nighttime Haze Imaging Enhancer for Vision-driven Intelligent Systems

Life-Code: Central Dogma Modeling with Multi-Omics Sequence Unification

Is attention all you need to solve the correlated electron problem?

Optimizing Temperature for Language Models with Multi-Sample Inference

Speak Easy: Eliciting Harmful Jailbreaks from LLMs with Simple Interactions

Adapt-Pruner: Adaptive Structural Pruning for Efficient Small Language Model Training

The Other Side of the Coin: Unveiling the Downsides of Model Aggregation in Federated Learning from a Layer-peeled Perspective

Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search

Activation-Informed Merging of Large Language Models

Layer by Layer: Uncovering Hidden Representations in Language Models

Search-Based Adversarial Estimates for Improving Sample Efficiency in Off-Policy Reinforcement Learning

Activation by Interval-wise Dropout: A Simple Way to Prevent Neural Networks from Plasticity Loss

CLEVER: A Curated Benchmark for Formally Verified Code Generation

Created by

Haebom

저자

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

개요

본 논문은 Lean이라는 형식 검증 시스템을 사용하여 종단 간 검증된 코드 생성을 위한 고품질의 정제된 벤치마크인 CLEVER를 소개합니다. CLEVER는 161개의 문제로 구성되며, 각 문제는 (1) 보류된 정답 사양과 일치하는 사양을 생성하는 작업과 (2) 이 사양을 증명 가능하게 만족하는 Lean 구현을 생성하는 작업으로 이루어집니다. 기존 벤치마크와 달리 CLEVER는 테스트 케이스 감독, LLM 생성 주석, 구현 논리를 누출하거나 공허한 해결책을 허용하는 사양을 피합니다. 모든 출력은 Lean의 형식 검사기를 사용하여 사후 검증되어 기계로 확인 가능한 정확성을 보장합니다. 논문에서는 CLEVER를 사용하여 최첨단 언어 모델을 기반으로 하는 몇 가지 퓨샷 및 에이전트 방식을 평가합니다. 이러한 방법들은 모두 완전한 검증을 달성하는 데 어려움을 겪어 프로그램 합성 및 형식적 추론을 위한 어려운 최첨단 벤치마크임을 입증합니다. 벤치마크는 GitHub(https://github.com/trishullab/clever)와 HuggingFace(https://huggingface.co/datasets/amitayusht/clever)에서, 평가 코드는 GitHub(https://github.com/trishullab/clever-prover)에서 확인할 수 있습니다.

시사점, 한계점

•

시사점: 종단 간 검증된 코드 생성을 위한 새로운 고품질 벤치마크 CLEVER를 제시하여 프로그램 합성 및 형식적 추론 분야의 연구를 촉진합니다. 현존하는 최첨단 언어 모델의 한계를 드러내어 향후 연구 방향을 제시합니다. 공개적으로 접근 가능한 데이터셋과 코드를 제공하여 재현성을 높입니다.

•

한계점: 현재 벤치마크의 규모(161개 문제)가 상대적으로 작을 수 있습니다. 평가된 방법들이 모두 완전한 검증에 실패한 점은 향후 더 강력한 방법론 개발의 필요성을 시사합니다. Lean에 특화된 벤치마크이므로 다른 프로그래밍 언어로의 일반화 가능성에 대한 추가 연구가 필요합니다.

Made with Slashpage