📊 Статистика дайджестов

Всего дайджестов: 34022 Добавлено сегодня: 0

Последнее обновление: сегодня
📄 The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
2025-12-04
Авторы:

PIerre Dantas, Lucas Cordeiro, Youcheng Sun, Waldir Junior

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
The idea of using Formal Verification tools with large language models (LLMs) has enabled scaling software verification beyond manual workflows. However, current methods remain unreliable. Without a solid theoretical footing, the refinement process can wander; sometimes it settles, sometimes it loops back, and sometimes it breaks away from any stable trajectory. This work bridges this critical gap by developing an LLM-Verifier Convergence Theorem, providing the first formal framework with provab...
ID: 2512.02080v1 cs.AI, cs.FL, cs.LG, cs.SE
arXiv PDF
📄 SocialFusion: Addressing Social Degradation in Pre-trained Vision-Language Models
2025-12-04
Авторы:

Hamza Tahboub, Weiyan Shi, Gang Hua, Huaizu Jiang

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Understanding social interactions from visual cues is a fundamental challenge for a socially competent AI. While powerful pre-trained vision-language models (VLMs) have shown remarkable general capabilities, they surprisingly struggle to unify and learn multiple social perception tasks simultaneously, often exhibiting negative transfer. We identify that this negative transfer stems from a critical issue we term "social degradation," whereby the general visual-linguistic pre-training process of V...
ID: 2512.01148v1 cs.CV, cs.AI
arXiv PDF
📄 Mode-Conditioning Unlocks Superior Test-Time Scaling
2025-12-04
Авторы:

Chen Henry Wu, Sachin Goyal, Aditi Raghunathan

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Parallel sampling promises substantial gains in test-time scaling, but its effectiveness is sharply limited by diversity collapse, where models concentrate on a few modes and repeated samples produce the same mistakes. We propose the mode-conditioning (ModC) framework, which explicitly allocates test-time compute across reasoning modes using either specialist models or mode-specific prefixes. ModC consistently improves scaling across controlled graph-search tasks and large-scale reasoning benchm...
ID: 2512.01127v1 cs.LG, cs.AI, cs.CL
arXiv PDF
📄 Open-Set Domain Adaptation Under Background Distribution Shift: Challenges and A Provably Efficient Solution
2025-12-04
Авторы:

Shravan Chaudhari, Yoav Wald, Suchi Saria

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
As we deploy machine learning systems in the real world, a core challenge is to maintain a model that is performant even as the data shifts. Such shifts can take many forms: new classes may emerge that were absent during training, a problem known as open-set recognition, and the distribution of known categories may change. Guarantees on open-set recognition are mostly derived under the assumption that the distribution of known classes, which we call \emph{the background distribution}, is fixed. ...
ID: 2512.01152v1 cs.LG, cs.AI, cs.CV
arXiv PDF
📄 A Benchmark of Causal vs Correlation AI for Predictive Maintenance
2025-12-04
Авторы:

Krishna Taduri, Shaunak Dhande, Giacinto Paolo, Saggese, Paul Smith

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Predictive maintenance in manufacturing environments presents a challenging optimization problem characterized by extreme cost asymmetry, where missed failures incur costs roughly fifty times higher than false alarms. Conventional machine learning approaches typically optimize statistical accuracy metrics that do not reflect this operational reality and cannot reliably distinguish causal relationships from spurious correlations. This study evaluates eight predictive models, ranging from baseline...
ID: 2512.01149v1 cs.AI, cs.LG
arXiv PDF
📄 Beyond Greenfield: The D3 Framework for AI-Driven Productivity in Brownfield Engineering
2025-12-04
Авторы:

Krishna Kumaar Sharma

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Brownfield engineering work involving legacy systems, incomplete documentation, and fragmented architectural knowledge poses unique challenges for the effective use of large language models (LLMs). Prior research has largely focused on greenfield or synthetic tasks, leaving a gap in structured workflows for complex, context-heavy environments. This paper introduces the Discover-Define-Deliver (D3) Framework, a disciplined LLM-assisted workflow that combines role-separated prompting strategies wi...
ID: 2512.01155v2 cs.SE, cs.AI
arXiv PDF
📄 DPAC: Distribution-Preserving Adversarial Control for Diffusion Sampling
2025-12-04
Авторы:

Han-Jin Lee, Han-Ju Lee, Jin-Seong Kim, Seok-Hwan Choi

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Adversarially guided diffusion sampling often achieves the target class, but sample quality degrades as deviations between the adversarially controlled and nominal trajectories accumulate. We formalize this degradation as a path-space Kullback-Leibler divergence(path-KL) between controlled and nominal (uncontrolled) diffusion processes, thereby showing via Girsanov's theorem that it exactly equals the control energy. Building on this stochastic optimal control (SOC) view, we theoretically establ...
ID: 2512.01153v1 cs.CV, cs.AI, cs.LG
arXiv PDF
📄 A TinyML Reinforcement Learning Approach for Energy-Efficient Light Control in Low-Cost Greenhouse Systems
2025-12-04
Авторы:

Mohamed Abdallah Salem, Manuel Cuevas Perez, Ahmed Harb Rabia

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
This study presents a reinforcement learning (RL)-based control strategy for adaptive lighting regulation in controlled environments using a low-power microcontroller. A model-free Q-learning algorithm was implemented to dynamically adjust the brightness of a Light-Emitting Diode (LED) based on real-time feedback from a light-dependent resistor (LDR) sensor. The system was trained to stabilize at 13 distinct light intensity levels (L1 to L13), with each target corresponding to a specific range w...
ID: 2512.01167v1 cs.LG, cs.AI, eess.SY
arXiv PDF
📄 Real-Time On-the-Go Annotation Framework Using YOLO for Automated Dataset Generation
2025-12-04
Авторы:

Mohamed Abdallah Salem, Ahmed Harb Rabia

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Efficient and accurate annotation of datasets remains a significant challenge for deploying object detection models such as You Only Look Once (YOLO) in real-world applications, particularly in agriculture where rapid decision-making is critical. Traditional annotation techniques are labor-intensive, requiring extensive manual labeling post data collection. This paper presents a novel real-time annotation approach leveraging YOLO models deployed on edge devices, enabling immediate labeling durin...
ID: 2512.01165v1 cs.CV, cs.AI, cs.RO
arXiv PDF
📄 2D-ThermAl: Physics-Informed Framework for Thermal Analysis of Circuits using Generative AI
2025-12-04
Авторы:

Soumyadeep Chandra, Sayeed Shafayet Chowdhury, Kaushik Roy

Саммари на русском не найдено
Доступные поля: ['id', 'arxiv_id', 'title', 'authors', 'abstract', 'summary_ru', 'categories', 'published_date', 'created_at']
Annotation:
Thermal analysis is increasingly critical in modern integrated circuits, where non-uniform power dissipation and high transistor densities can cause rapid temperature spikes and reliability concerns. Traditional methods, such as FEM-based simulations offer high accuracy but computationally prohibitive for early-stage design, often requiring multiple iterative redesign cycles to resolve late-stage thermal failures. To address these challenges, we propose 'ThermAl', a physics-informed generative A...
ID: 2512.01163v1 cs.LG, cs.AI
arXiv PDF
Показано 271 - 280 из 14425 записей