Found 9 document(s)
Page 1 of 1
-
An inference budget is useful only when the system delivers an answer within it. We study a fixed-budget policy combining first-valid-box stopping with a charged finalization cue. On 100 fresh, independently audited GSM8...
-
Synthetic aperture radar (SAR) and optical imagery provide complementary structural and appearance information for remote sensing object detection. However, substantial cross-modal discrepancies and indiscriminate channe...
-
Recent large reasoning models can infer where ordinary photos were taken using only visual information, creating a serious location privacy risk even when metadata and obvious geographic identifiers are removed. To under...
-
Interactive theorem provers can provide strong correctness guarantees for software, but constructing the proofs remains a challenging and labor-intensive task. Inspired by the recent progress of modern coding agents, we ...
-
Can AI agents autonomously train useful language models and improve them using feedback from users? We introduce RSI Arena, a two-stage study of autonomous post-training as a step toward recursive self-improvement. Ten f...
-
This book endeavours to outline case studies that promote sustainable Local Economic Development (LED) initiatives. It is generally believed that local governments are the foot soldiers of LED. However, this seems to be ...
-
Spin-orbit coupling (SOC) is a key to understand the magnetically driven superconductivity in iron-based superconductors, where both local and itinerant electrons are present and the orbital angular momentum is not compl...
-
Quality assurance has been integrated into the fabric of higher education in China, with the issue of quality in higher education--how to evaluate it and how to enhance it--now taking centre stage in Chinese higher educa...