Towards Neural Synthesis for SMT-Assisted Proof-Oriented ProgrammingSaikat Chakraborty, Microsoft; et al.Gabriel Ebner, Microsoft
Generate question and answer through exploration
，这一点在WhatsApp网页版中也有详细论述
"website": "https://vuejs.org",
Алевтина Запольская (куратор раздела "Постсоветское пространство")