Neural Machine Translation for Mathematical Formulae

25 May 2023

Papers citing "Neural Machine Translation for Mathematical Formulae"

4 / 4 papers shown

Title
Empowering AI to Generate Better AI Code: Guided Generation of Deep Learning Projects with LLMs Chen Xie Mingsheng Jiao Xiaodong Gu Beijun Shen 22 0 0 21 Apr 2025
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions Lan Zhang Marco Valentino André Freitas 44 0 0 17 Feb 2025
English to Arabic machine translation of mathematical documents Mustapha Eddahibi Mohammed Mensouri 13 0 0 02 Dec 2023
Multi-Operational Mathematical Derivations in Latent Space Marco Valentino Jordan Meadows Lan Zhang André Freitas 16 5 0 02 Nov 2023