mlirSynth: 自动的，可重新定位的多级 IR 中的程序提升，使用程序综合

LaSynth是一种基于机器学习的程序合成方法，能够学习嵌入式表示方法，提高下一个输入标记的预测性能，并通过生成随机的程序和IO对来进行训练以合成类似于人类编写的简洁C代码。该方法在简单C代码的生成上表现优异，达到了55.2%的准确率，并显著优于现有的无执行器方法。