Publications (21)
Towards a Tropical Proof of the Gieseker-Petri Theorem
Vyassa Baratham, David Jensen, Cristina Mata +2
We use tropical techniques to prove a case of the Gieseker-Petri Theorem. Specifically, we show that the general curve of arbitrary genus does not admit a Gieseker-Petri special pe…
Domain Generalization through Spatial Relation Induction over Visual Primitives
Dat Nguyen, Duc-Duy Nguyen
Domain generalization requires identifying stable representations that support reliable classification across domains. Most existing methods seek such stability through improving t…
Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing
Thanh Le-Cong, Dat Nguyen, Bach Le +1
In this paper, we propose shifting the focus of robustness evaluation for Neural Program Repair (NPR) techniques toward naturally-occurring data transformations. To accomplish this…
KinDEL: DNA-Encoded Library Dataset for Kinase Inhibitors
Benson Chen, Tomasz Danel, Gabriel H. S. Dreiman +18
DNA-Encoded Libraries (DELs) represent a transformative technology in drug discovery, facilitating the high-throughput exploration of vast chemical spaces. Despite their potential,…
Miko Team: Deep Learning Approach for Legal Question Answering in ALQAC 2022
Hieu Nguyen Van, Dat Nguyen, Phuong Minh Nguyen +1
We introduce efficient deep learning-based methods for legal document processing including Legal Document Retrieval and Legal Question Answering tasks in the Automated Legal Questi…
HoroPCA: Hyperbolic Dimensionality Reduction via Horospherical Projections
Ines Chami, Albert Gu, Dat Nguyen +1
This paper studies Principal Component Analysis (PCA) for data lying in hyperbolic spaces. Given directions, PCA relies on: (1) a parameterization of subspaces spanned by these dir…