Papers
Research papers from arXiv and related sources
Training Deep Stereo Matching Networks on Tree Branch Imagery: A Benchmark Study for Real-Time UAV Forestry Applications
Autonomous drone-based tree pruning needs accurate, real-time depth estimation from stereo cameras. Depth is computed from disparity maps using $Z = f B/d$, so even small disparity errors cause not...
Yida Lin, Bing Xue, Mengjie Zhang, Sam Schofield, Richard Green
Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
In this paper, we present Hexagon-MLIR,an open-source compilation stack that targets Qualcomm Hexagon Neural Processing Unit (NPU) and provides unified support for lowering Triton kernels and PyTor...
Mohammed Javed Absar, Muthu Baskaran, Abhikrant Sharma, Abhilash Bhandari, Ankit Aggarwal, Arun R...
AI-Powered Conflict Management in Open RAN: Detection, Classification, and Mitigation
Open Radio Access Network (RAN) was designed with native Artificial Intelligence (AI) as a core pillar, enabling AI- driven xApps and rApps to dynamically optimize network performance. However, the...
Abdul Wadud, Nima Afraz, Fatemeh Golpayegani
Deep Else: A Critical Framework for AI Art
From a small community of pioneering artists who experimented with artificial intelligence (AI) in the 1970s, AI art has expanded, gained visibility, and attained socio-cultural relevance since the...
Dejan Grba
Improving Generalization and Trainability of Quantum Eigensolvers via Graph Neural Encoding
Determining the ground state of a many-body Hamiltonian is a central problem across physics, chemistry, and combinatorial optimization, yet it is often classically intractable due to the exponentia...
Jungyun Lee, Daniel K. Park
NILE: Formalizing Natural-Language Descriptions of Formal Languages
This paper explores how natural-language descriptions of formal languages can be compared to their formal representations and how semantic differences can be explained. This is motivated from educa...
Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
Carbon-Aware Governance Gates: An Architecture for Sustainable GenAI Development
The rapid adoption of Generative AI (GenAI) in the software development life cycle (SDLC) increases computational demand, which can raise the carbon footprint of development activities. At the same...
Mateen A. Abbasi, Tommi J. Mikkonen, Petri J. Ihantola, Muhammad Waseem, Pekka Abrahamsson, Niko ...
SHARP: A compact focusing system for medical applications using a diverging plasma lens
Cancer therapy for deep-seated tumors requires precise irradiation of a small target deep within the patient while minimizing radiation exposure to surrounding tissues. This can be accomplished wit...
Kyrre Ness Sjobak, Elisabeth Rød-Lindberg, Abélia Ellingsen, Pierre Drobniak, Vilde Flognfeldt Ri...
Model Selection in High-Dimensional Linear Regression using Boosting with Multiple Testing
High-dimensional regression specification and analysis is a complex and active area of research in statistics, machine learning, and econometrics. This paper proposes a new approach, Boosting with ...
George Kapetanios, Vasilis Sarafidis, Alexia Ventouri
Testing Effect Homogeneity and Confounding in High-Dimensional Experimental and Observational Studies
We propose a framework for testing the homogeneity of conditional average treatment effects (CATEs) across multiple experimental and observational studies. Our approach leverages multiple randomize...
Ana Armendariz, Martin Huber
BayesFusion-SDF: Probabilistic Signed Distance Fusion with View Planning on CPU
Key part of robotics, augmented reality, and digital inspection is dense 3D reconstruction from depth observations. Traditional volumetric fusion techniques, including truncated signed distance fun...
Soumya Mazumdar, Vineet Kumar Rakesh, Tapas Samanta
All Cities are Equal: A Unified Human Mobility Generation Model Enabled by LLMs
Synthetic human mobility generation is gaining traction as an ethical and practical approach to supporting the data needs of intelligent urban systems. Existing methods perform well primarily in da...
Bo Liu, Tong Li, Zhu Xiao, Ruihui Li, Geyong Min, Zhuo Tang, Kenli Li
"The explanation makes sense": An Empirical Study on LLM Performance in News Classification and its Influence on Judgment in Human-AI Collaborative Annotation
The spread of media bias is a significant concern as political discourse shapes beliefs and opinions. Addressing this challenge computationally requires improved methods for interpreting news. Whil...
Qile Wang, Prerana Khatiwada, Avinash Chouhan, Ashrey Mahesh, Joy Mwaria, Duy Duc Tran, Kenneth E...
Exo Skryer: A JAX-accelerated sub-stellar atmospheric retrieval framework
Contemporary exoplanet and brown dwarf atmospheric research relies heavily on retrieval frameworks to recover thermal and chemical properties and perform model comparison in an observational data-d...
Elspeth K. H. Lee
A Flow Extension to Coroutine Types for Deadlock Detection in Go
Coroutines, as an abstract programming construct, are a generalization of functions that can suspend execution part- way for later resumption. Coroutine Types are behavioral types to model interact...
Qiqi Jason Gu, Lixue Liu, Wei Ke
Beyond the Binary: A nuanced path for open-weight advanced AI
Open-weight advanced AI models -- systems whose parameters are freely available for download and adaptation -- are reshaping the global AI landscape. As these models rapidly close the performance g...
Bengüsu Özcan, Alex Petropoulos, Max Reddel
On Instantons at Large Charge
The large R-charge limit of two-point functions of chiral primary operators in rank-one N=2 superconformal field theories exhibits a universal behavior controlled by the effective field theory on t...
Andrea Cipriani, Raffaele Savelli
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
First-order logic is the basis for many knowledge representation formalisms and methods. Providing technological support for learning to write first-order formulas for natural language specificatio...
Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély, Lukas Pradel
SkillOrchestra: Learning to Route Agents via Skill Transfer
Compound AI systems promise capabilities beyond those of individual models, yet their success depends critically on effective orchestration. Existing routing approaches face two limitations: (1) in...
Jiayu Wang, Yifei Ming, Zixuan Ke, Shafiq Joty, Aws Albarghouthi, Frederic Sala
Circular V-grooves on single-crystal gold: optical properties and sensing feasibility
Single-crystal Au(111) microplates provide an ultra-smooth, low-defect platform for reproducible plasmonic nanocavities. Here we realize reflection-mode whispering-gallery metasurfaces comprising p...
Amos Sospeter Kiyumbi