Search Results for author: Yuxin Deng

Found 4 papers, 2 papers with code

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

no code implementations22 Sep 2023 Zezhong Chen, Yuxin Deng, Wenjie Du

To our knowledge, this marks the first integration of large language models in automatic creating and reasoning about assurance cases, bringing a novel approach to a traditional challenge.

ResMatch: Residual Attention Learning for Local Feature Matching

1 code implementation11 Jul 2023 Yuxin Deng, Jiayi Ma

In order to facilitate the learning of matching and filtering, we inject the similarity of descriptors and relative positions into cross- and self-attention score, respectively.

Pose Estimation Visual Localization

ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning

no code implementations16 May 2022 Yuxin Deng, Jiayi Ma

Deep-learning-based local feature extraction algorithms that combine detection and description have made significant progress in visible image matching.

Image Registration

SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning

1 code implementation8 Jun 2021 Jiayi Ma, Yuxin Deng

Modifications on triplet loss that rescale the back-propagated gradients of special pairs have made significant progress on local descriptor learning.

Retrieval

Cannot find the paper you are looking for? You can Submit a new open access paper.