Search Results for author:
Found 4 papers, 2 papers with code
Multipath Identification and Mitigation with FDA-MIMO Radar
In smart city development, the automatic detection of structures and vehicles within urban or suburban areas via array radar (airborne or vehicle platforms) becomes crucial.
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
However, due to the scarcity of aligned NL and Formal Language (FL) theorem-proving data most modern LLMs exhibit suboptimal performance. This scarcity results in a paucity of methodologies for training LLMs and techniques to fully utilize their capabilities in composing formal proofs.
On Smart Morphing Wing Aircraft Robust Adaptive Beamforming
To overcome this problem and ensure robust beamforming for FCA, deviations in array control parameters (ACPs) and array perturbations, the effect of mutual coupling in addition to looking-direction errors should be considered.
SIDE: Self-supervised Intermediate Domain Exploration for Source-free Domain Adaptation
Domain adaptation aims to alleviate the domain shift when transferring the knowledge learned from the source domain to the target domain.
