Customer-obsessed science


Research areas
-
June 25, 2025With large datasets, directly generating data ID codes from query embeddings is much more efficient than performing pairwise comparisons between queries and candidate responses.
Featured news
-
Physical Review E2024A hypergraph is a generalization of a graph that arises naturally when attribute-sharing among entities is considered. Compared to graphs, hypergraphs have the distinct advantage that they contain explicit communities and are more convenient to manipulate. An open problem in hypergraph research is how to accurately and efficiently calculate node distances on hypergraphs. Estimating node distances enables
-
MMSP 20242024In live video streaming, the size of manifest grows linearly as the overall time duration of manifest increases in many scenarios. Such a behavior exists across streaming technologies, e.g. Dynamic Adaptive Streaming through HTTP (DASH), HTTP Live Streaming (HLS) and Microsoft Smooth Streaming (MSS). It introduces significant overhead for manifest generation on cloud services, download latency and network
-
We present a novel approach to automatically generate task-specific synthetic datasets for hallucination detection. Our approach features a two-step generation-selection pipeline, where the generation step integrates a hallucination pattern guidance module and a language style alignment module. Hallucination pattern guidance makes it possible to curate synthetic datasets covering the most important hallucination
-
MERLIN: Multimodal & multilingual embedding for recommendations at large-scale via item associations2024Product recommendations incentivize customers to make multiunit purchases by surfacing relevant products, leading to lower cost per unit for e-commerce stores and lower prices for their customers. However, the humongous scale of products, implicit co-purchase asymmetry and variation in co-purchase behavior across different categories, are orthogonal problems to solve. To address these problems, we propose
-
NIST 2024 Workshop on Formal Methods within Certification Programs2024It appears that the winds-of-change are blowing for formal verification of cryptographic software and, furthermore, those winds are blowing in the same direction. We perceive progress on several fronts: - Researchers in the mathematics of cryptography now publish formal specifications and proofs of security properties as a matter of course in their papers using language like EasyCrypt[10]. - Formal (yet
Academia
View allWhether you're a faculty member or student, there are number of ways you can engage with Amazon.
View all