Skip to yearly menu bar Skip to main content


Poster

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering

Chuanzhe Guo ⋅ Jingjing Wu ⋅ Sijun He ⋅ Yang Chen ⋅ Zhaoqi Kuang ⋅ Shilong Fan ⋅ Bingjin Chen ⋅ Siqi Bao ⋅ Jing Liu ⋅ Hua Wu ⋅ Qingfu Zhu ⋅ Wanxiang Che ⋅ Haifeng Wang

Abstract

Log in and register to view live content