Radiological risk stratification and management planning are essential downstream tasks in medical imaging. Automating these tasks is challenging because clinical guideline criteria are distributed across prose, tables, and cross-referenced definitions. We present Guideline-derived Decision Graph (GDGraph), a framework...
The results show that effective looping requires matching the design to the resource constraint and inference setting, and that preserving the current-token embedding and separately normalizing it and the previous-token hidden state before combining them recovers strong performance across model scales and training budg...
C. Ekbote, Artidoro Pagnoni, Devendra Singh Sachan et al.· 0 citations
Objectives: To evaluate the accuracy and calibration of Decision and System One models on rheumatology examination questions and diagnostic vignettes. Methods: Two benchmarks were analysed: 172 rheumatology questions from Spanish specialty-training examinations (expanded RheumaMIR dataset) in Spanish and English, and 7...
Alfredo Madrid-Garc\'ia, Diego Benavent, Fabian Lechner et al.· 0 citations
We present Vampire-Hammer, a hammer for the Lean interactive theorem prover that discharges goals using the Vampire automated theorem prover and reconstructs proofs checked by the Lean kernel. Vampire-Hammer uses the Lean-auto framework to process goals and premises before dispatching them to Vampire for proof search....
Jonas Bodingbauer, Laura Kov\'acs· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Deep learning models for coronary vessel segmentation in X-ray angiography often perform poorly on data from centres that were not represented in training. Apart from differences in equipment, the labels of the largest public dataset (ARCADE) are incomplete, as only the segments defined in the SYNTAX score are annotate...
Danial Moafi, Aida Moafi, Mostafa Aryafar et al.· 0 citations
Large language model serving is limited by facility power. Energy per token determines how many tokens a datacenter can serve, while a latency target bounds how quickly each user receives them. During decode, every weight is read from memory for every generated token. Batching amortizes this read across users but makes...
Bole Ma, Ayesha Afzal, Jan Eitzinger et al.· 0 citations
Building general game agents requires both high-level task reasoning and low-latency action control in rapidly changing visual environments. These capabilities favor models with substantially different computational profiles, making them difficult to realize within a single model. In this work, we present TaskFrame, a...
Guangzhi Wang, Junfu Pu, Yiran Wang et al.· 0 citations
This paper proposes a hybrid MPC and RL framework for highway driving in autonomous trucks, where a finite-horizon MPC, solved via dynamic programming, uses a pre-trained RL model for terminal cost estimation.
Hooman Hamze, Benjamin Houshmand, Deepthi Pathare et al.· 0 citations
Recent advances in Time Series Foundation Models (TSFMs) increasingly rely on axial attention mechanisms, but despite their empirical success, the theoretical properties of axial attention remain largely unexplored. To bridge this gap, we extend the Single Location Regression framework introduced in Marion et al. [2025...
This paper presents EventSeeColor, which uses event-reconstructed grayscale and aligned events to jointly guide a diffusion colorizer that achieves the best structural similarity, learned perceptual scores, and chromatic-region color difference among the external methods.
Chuanzhi Xu, Lang-Yi Chen, Hao-Xian Zhou et al.· 0 citations
Retail sales forecasting underpins inventory planning, yet promotions and calendar events reshape short-term demand. Although each factor usually has historical occurrences, the complete factor combination of a target week often has few precedents. The challenge is therefore to retrieve informative partial matches and...
Chenghao Gu, Zhuokang Shen, Shenghao Wu et al.· 0 citations
Offline goal-conditioned reinforcement learning remains challenging in stochastic long-horizon settings, where compounding value estimation errors hinder reliable goal reaching. While prior methods have sought to address this challenge through various approaches, a key challenge remains path mirage, where agents overco...
Junhyeon Bae, Jaebak Hwang, Gwanwoo Choi et al.· 0 citations