Suchergebnisse - Guo, Qingfeng

ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity von Liu, Xiaoyang, Zhu, Tao, Dong, Zineng, Liu, Yuntian, Guo, Qingfeng, Liu, Zhaoxuan, Chen, Yu, Luo, Tao

Volltext

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization von Liu, Yuntian, Zhu, Tao, Liu, Xiaoyang, Chen, Yu, Liu, Zhaoxuan, Guo, Qingfeng, Zhang, Jiashuo, Bao, Kangjie, Luo, Tao

Volltext