End-to-end translation validation for the halide language

Clément, Basile; Cohen, Albert

doi:10.1145/3527328

Cited by 9 publications

(2 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In traditional translation models, cultural differences are mainly studied based on text and words. Since Chinese information source, Language construct and other factors have a greater impact on the translation, SPSS22.0 analysis software is needed [7]. Cluster analysis is an important application that can classify each sample and classify it into different categories based on similarity.…”

Section: Spss Cluster Analysismentioning

confidence: 99%

Multimodal Translation Model of Chinese Culture Based on SPSS Cluster Analysis

Nai,

Hassan

2023

Atlantis Highlights in Computer Sciences

View full text Add to dashboard Cite

The dissemination of national culture is a form of expression in global communication. In the early years, international media often communicated specific cultural values to the world through "soft cultural" content such as American movies and Japanese cartoons, but the one-way communication is gradually being changed. Currently, China's soft power is increasing, and Chinese culture is also spreading to the world. In cultural research, SPSS (Statistical Product and Service Solutions) is a very important tool. It can be used for the transmission of information such as text, sound, and video data. This article aims to propose an effective method for accurately translating Chinese culture into English through the study of a multimodal translation model of Chinese culture. This article adopts methods such as case analysis and experimental research to study the multimodal translation model of Chinese culture. The results indicate that by using the multimodal translation model for materials of Chinese culture, the accuracy is relatively high, about 98%, and the error rate is relatively low.

show abstract

Section: Spss Cluster Analysismentioning

confidence: 99%

Multimodal Translation Model of Chinese Culture Based on SPSS Cluster Analysis

Nai,

Hassan

2023

Atlantis Highlights in Computer Sciences

View full text Add to dashboard Cite

show abstract

“…As for translation validation (TV), [18] proposes a practical TV framework for Halide which is a language for processing arrays. To support fast-math optimizations, it mainly uses Z3's type for real numbers.…”

Section: Related Workmentioning

confidence: 99%

SMT-Based Translation Validation for Machine Learning Compiler

Bang

SeungHyeon

Chun

et al. 2022

Computer Aided Verification

View full text Add to dashboard Cite

Machine learning compilers are large software containing complex transformations for deep learning models, and any buggy transformation may cause a crash or silently bring a regression to the prediction accuracy and performance. This paper proposes an SMT-based translation validation framework for Multi-Level IR (MLIR), a compiler framework used by many deep learning compilers. It proposes an SMT encoding tailored for translation validation that is an over-approximation of the FP arithmetic and reduction operations. It performs abstraction refinement if validation fails. We also propose a new approach for encoding arithmetic properties of reductions in SMT. We found mismatches between the specification and implementation of MLIR, and validated high-level transformations for , , and with proper splitting.

show abstract