/
/
Daily Arxiv
Daily Arxiv
전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.
Dense Video Understanding with Gated Residual Tokenization
Machines are more productive than humans until they aren't, and vice versa
BWCache: Accelerating Video Diffusion Transformers through Block-Wise Caching
Exploring Data and Parameter Efficient Strategies for Arabic Dialect Identifications
The threat of analytic flexibility in using large language models to simulate human data: A call to attention
Evaluating undergraduate mathematics examinations in the era of generative AI: a curriculum-level case study
A Graph-Based Approach to Alert Contextualisation in Security Operations Centres
FunAudio-ASR Technical Report
Omni-CLST: Error-aware Curriculum Learning with guided Selective chain-of-Thought for audio question answering
Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models
Pluralistic Alignment for Healthcare: A Role-Driven Framework
ALIGNS: Unlocking nomological networks in psychological measurement through a large language model
A Survey of Reinforcement Learning for Large Reasoning Models
Skeleton-based sign language recognition using a dual-stream spatio-temporal dynamic graph convolutional network
Reconstruction Alignment Improves Unified Multimodal Models
Moment- and Power-Spectrum-Based Gaussianity Regularization for Text-to-Image Models
FASL-Seg: Anatomy and Tool Segmentation of Surgical Scenes
Dual-Mode Deep Anomaly Detection for Medical Manufacturing: Structural Similarity and Feature Distance
Exploit Tool Invocation Prompt for Tool Behavior Hijacking in LLM-Based Agentic System
Measuring the Measures: Discriminative Capacity of Representational Similarity Metrics Across Model Families
AR-KAN: Autoregressive-Weight-Enhanced Kolmogorov-Arnold Network for Time Series Forecasting
Ensemble of Pathology Foundation Models for MIDOG 2025 Track 2: Atypical Mitosis Classification
Deep Learning-Driven Multimodal Detection and Movement Analysis of Objects in Culinary
Middo: Model-Informed Dynamic Data Optimization for Enhanced LLM Fine-Tuning via Closed-Loop Learning
MovieCORE: COgnitive REasoning in Movies
A.S.E: A Repository-Level Benchmark for Evaluating Security in AI-Generated Code
Generalized invariants meet constitutive neural networks: A novel framework for hyperelastic materials
Neural Logic Networks for Interpretable Classification
Roll Your Eyes: Gaze Redirection via Explicit 3D Eyeball Rotation
Controllable Surface Diffusion Generative Model for Neurodevelopmental Trajectories
Deciding how to respond: A deliberative framework to guide policymaker responses to AI systems
SCORPION: Addressing Scanner-Induced Variability in Histopathology
ThinkAct: Vision-Language-Action Reasoning via Reinforced Visual Latent Planning
SPICE: An Automated SWE-Bench Labeling Pipeline for Issue Clarity, Test Coverage, and Effort Estimation
FreeAudio: Training-Free Timing Planning for Controllable Long-Form Text-to-Audio Generation
EnCoBo: Energy-Guided Concept Bottlenecks for Interpretable Generation
T-SYNTH: A Knowledge-Based Dataset of Synthetic Breast Images
MedVAL: Toward Expert-Level Medical Text Validation with Language Models
Survivability of Backdoor Attacks on Unconstrained Face Recognition Systems
"What's Up, Doc?": Analyzing How Users Seek Health Information in Large-Scale Conversational AI Datasets
Engineering RAG Systems for Real-World Applications: Design, Development, and Evaluation
An Explainable AI Framework for Dynamic Resource Management in Vehicular Network Slicing
DiCoRe: Enhancing Zero-shot Event Detection via Divergent-Convergent LLM Reasoning
Semantic Exploration and Dense Mapping of Complex Environments using Ground Robot with Panoramic LiDAR-Camera Fusion
Evaluating Supervised Learning Models for Fraud Detection: A Comparative Study of Classical and Deep Architectures on Imbalanced Transaction Data
Binarized Neural Networks Converge Toward Algorithmic Simplicity: Empirical Support for the Learning-as-Compression Hypothesis
PMPO: Probabilistic Metric Prompt Optimization for Small and Large Language Models
DisastIR: A Comprehensive Information Retrieval Benchmark for Disaster Management
Preference Isolation Forest for Structure-based Anomaly Detection
Trustless Autonomy: Understanding Motivations, Benefits, and Governance Dilemmas in Self-Sovereign Decentralized AI Agents
GRADA: Graph-based Reranking against Adversarial Documents Attack
Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models
Direct Video-Based Spatiotemporal Deep Learning for Cattle Lameness Detection
Read Before You Think: Mitigating LLM Comprehension Failures with Step-by-Step Reading
Zero-Shot LLMs in Human-in-the-Loop RL: Replacing Human Feedback for Reward Shaping
Predicting Multi-Agent Specialization via Task Parallelizability
Fine-tuning Vision Language Models with Graph-based Knowledge for Explainable Medical Image Analysis
VLM-E2E: Enhancing End-to-End Autonomous Driving with Multimodal Driver Attention Fusion
METAL: A Multi-Agent Framework for Chart Generation with Test-Time Scaling
SNaRe: Domain-aware Data Generation for Low-Resource Event Detection
Superpose Task-specific Features for Model Merging
Examining False Positives under Inference Scaling for Mathematical Reasoning
SWAT: Sliding Window Adversarial Training for Gradual Domain Adaptation
Advanced Physics-Informed Neural Network with Residuals for Solving Complex Integral Equations
Retrieval-Retro: Retrieval-based Inorganic Retrosynthesis with Expert Knowledge
Unlocking Legal Knowledge: A Multilingual Dataset for Judicial Summarization in Switzerland
Reconstruction of Differentially Private Text Sanitization via Large Language Models
3DS: Medical Domain Adaptation of LLMs via Decomposed Difficulty-based Data Selection
The Role of Graph Topology in the Performance of Biomedical Knowledge Graph Completion Models
Top K Enhanced Reinforcement Learning Attacks on Heterogeneous Graph Node Classification
Learn while Unlearn: An Iterative Unlearning Framework for Generative Language Models
EXPLOR: Extrapolatory Pseudo-Label Matching for Out-of-distribution Uncertainty Based Rejection
Spatio-Temporal Anomaly Detection with Graph Networks for Data Quality Monitoring of the Hadron Calorimeter
Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
Heterogeneous Directed Hypergraph Neural Network over abstract syntax tree (AST) for Code Classification
The Art of Saying "Maybe": A Conformal Lens for Uncertainty Benchmarking in VLMs
Human + AI for Accelerating Ad Localization Evaluation
Statistical Methods in Generative AI
InMind: Evaluating LLMs in Capturing and Applying Individual Human Reasoning Styles
DSperse: A Framework for Targeted Verification in Zero-Knowledge Machine Learning
DualSG: A Dual-Stream Explicit Semantic-Guided Multivariate Time Series Forecasting Framework
Judging with Many Minds: Do More Perspectives Mean Less Prejudice? On Bias Amplifications and Resistance in Multi-Agent Based LLM-as-Judge
Mastering Multi-Drone Volleyball through Hierarchical Co-Self-Play Reinforcement Learning
Automatic Mapping of AutomationML Files to Ontologies for Graph Queries and Validation
Explicit Context-Driven Neural Acoustic Modeling for High-Fidelity RIR Generation
FlowRL: Matching Reward Distributions for LLM Reasoning
Orion: Fuzzing Workflow Automation
TITAN: A Trajectory-Informed Technique for Adaptive Parameter Freezing in Large-Scale VQE
Fast and Fluent Diffusion Language Models via Convolutional Decoding and Rejective Fine-tuning
SMARTER: A Data-efficient Framework to Improve Toxicity Detection with Explanation via Self-augmenting Large Language Models
Watermarking and Anomaly Detection in Machine Learning Models for LORA RF Fingerprinting
Semi-Supervised 3D Medical Segmentation from 2D Natural Images Pretrained Model
Leveraging Geometric Visual Illusions as Perceptual Inductive Biases for Vision Models
Exploring How Audio Effects Alter Emotion with Foundation Models
WorldForge: Unlocking Emergent 3D/4D Generation in Video Diffusion Model via Training-Free Guidance
The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
Vulnerable Agent Identification in Large-Scale Multi-Agent Reinforcement Learning
TextMine: LLM-Powered Knowledge Extraction for Humanitarian Mine Action
Listening, Imagining \& Refining: A Heuristic Optimized ASR Correction Framework with LLMs
Communication Efficient Split Learning of ViTs with Attention-based Double Compression
Load more
The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
Created by
Haebom
저자
Arnaud Mayeux, Jujian Zhang
개요
본 논문은 Lean4를 이용하여 다중 등급 Proj 구성을 공식화함으로써 기계화된 수학과 공식화를 보여줍니다.
시사점, 한계점
•
시사점:
Lean4를 이용한 다중 등급 Proj 구성의 공식화는 기계화된 수학의 발전에 기여할 수 있습니다. 수학적 정리의 정확성 검증 및 자동화된 증명에 활용될 수 있는 가능성을 제시합니다.
•
한계점:
구체적인 응용 사례나 다른 수학 분야와의 연관성에 대한 논의가 부족합니다. Lean4를 사용한 공식화의 효율성 및 확장성에 대한 추가적인 분석이 필요합니다. 다중 등급 Proj 구성의 특정한 응용이나 문제 해결에 대한 설명이 부족합니다.
PDF 보기
Made with Slashpage
