Human Effort and Machine Learnability in Computer Aided Translation

EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages

Formal mathematics is the discipline of translating mathematics into a programming language in which any statement can be unequivocally checked by a computer. Mathematicians and computer scientists have spent decades of …

Recent advancement in Disease Diagnostic using machine learning: Systematic survey of decades, comparisons, and challenges

Computer-aided diagnosis (CAD), a vibrant medical imaging research field, is expanding quickly. Because errors in medical diagnostic systems might lead to seriously misleading medical treatments, major efforts have been …

COVIDx CT-3: A Large-scale, Multinational, Open-Source Benchmark Dataset for Computer-aided COVID-19 Screening from Chest CT Images

Computed tomography (CT) has been widely explored as a COVID-19 screening and assessment tool to complement RT-PCR testing. To assist radiologists with CT-based COVID-19 screening, a number of computer-aided systems have…

Computer-Aided Design as Language

Computer-Aided Design (CAD) applications are used in manufacturing to model everything from coffee mugs to sports cars. These programs are complex and require years of training and experience to master. A component of al…

A general framework for minimizing translation effort: towards a principled combination of translation technologies in computer-aided translation