Proving Functional Program Equivalence via Directed Lemma Synthesis
Sun, Yican, Ji, Ruyi, Fang, Jian, Jiang, Xuanlin, Chen, Mingshuai, Xiong, Yingfei
Published in arXiv.org (19.05.2024)
Get full text
Published in arXiv.org (19.05.2024)
Paper
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ji, Ruyi, Zhao, Yuwei, Xiong, Yingfei, Wang, Di, Zhang, Lu, Hu, Zhenjiang
Published in arXiv.org (29.01.2024)
Get full text
Published in arXiv.org (29.01.2024)
Paper
Interactive Patch Filtering as Debugging Aid
Liang, Jingjing, Ji, Ruyi, Jiang, Jiajun, Lou, Yiling, Xiong, Yingfei, Huang, Gang
Published in arXiv.org (27.04.2020)
Get full text
Published in arXiv.org (27.04.2020)
Paper
Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization
Ji, Ruyi, Wen, Longyin, Zhang, Libo, Du, Dawei, Wu, Yanjun, Chen, Zhao, Liu, Xianglong, Huang, Feiyue
Published in arXiv.org (14.03.2020)
Get full text
Published in arXiv.org (14.03.2020)
Paper
Learning Semantic Neural Tree for Human Parsing
Ji, Ruyi, Du, Dawei, Zhang, Libo, Wen, Longyin, Wu, Yanjun, Chen, Zhao, Huang, Feiyue, Lyu, Siwei
Published in arXiv.org (20.12.2019)
Get full text
Published in arXiv.org (20.12.2019)
Paper