Ruyi Ji

According to our database, Ruyi Ji authored at least 31 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Learning to zoom: Exploiting mixed-scale contextual information for object detection.

Boying Wang, Ruyi Ji, Libo Zhang, Yanjun Wu, Jing Liu

Expert Syst. Appl., 2025

2024

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu

ACM Trans. Program. Lang. Syst., June, 2024

Correction: PIDray: A Large-Scale X-ray Benchmark for Real-World Prohibited Item Detection.

Libo Zhang, Lutao Jiang, Ruyi Ji, Heng Fan

Int. J. Comput. Vis., January, 2024

CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs.

Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova

Proc. ACM Program. Lang., 2024

Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.

Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu

Proc. ACM Program. Lang., 2024

ASAC: A Benchmark for Algorithm Synthesis.

Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Proving Functional Program Equivalence via Directed Lemma Synthesis.

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong

Proceedings of the Formal Methods - 26th International Symposium, 2024

Soft Knowledge Prompt: Help External Knowledge Become a Better Teacher to Instruct LLM in Knowledge-based VQA.

Qunbo Wang, Ruyi Ji, Tianhao Peng, Wenjun Wu, Zechao Li, Jing Liu

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

PIDray: A Large-Scale X-ray Benchmark for Real-World Prohibited Item Detection.

Libo Zhang, Lutao Jiang, Ruyi Ji, Heng Fan

Int. J. Comput. Vis., December, 2023

Dual Transformer With Multi-Grained Assembly for Fine-Grained Visual Classification.

Ruyi Ji, Jiaying Li, Libo Zhang, Jing Liu, Yanjun Wu

IEEE Trans. Circuits Syst. Video Technol., September, 2023

Bridging Multi-Scale Context-Aware Representation for Object Detection.

Boying Wang, Ruyi Ji, Libo Zhang, Yanjun Wu

IEEE Trans. Circuits Syst. Video Technol., May, 2023

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection.

Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu

Proc. ACM Program. Lang., April, 2023

Siamese self-supervised learning for fine-grained visual classification.

Ruyi Ji, Jiaying Li, Libo Zhang

Comput. Vis. Image Underst., March, 2023

SDF-3DGAN: A 3D Object Generative Method Based on Implicit Signed Distance Function.

Lutao Jiang, Ruyi Ji, Libo Zhang

CoRR, 2023

Scaling up Program Synthesis to Efficient Algorithms.

Ruyi Ji

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

A Semantic and Structural Transformer for Code Summarization Generation.

Ruyi Ji, Zhenyu Tong, Tiejian Luo, Jing Liu, Libo Zhang

Proceedings of the International Joint Conference on Neural Networks, 2023

CMFN: Cross-Modal Fusion Network for Irregular Scene Text Recognition.

Jinzhi Zheng, Ruyi Ji, Libo Zhang, Yanjun Wu, Chen Zhao

Proceedings of the Neural Information Processing - 30th International Conference, 2023

2022

Synthesizing Efficient Dynamic Programming Algorithms.

Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu

CoRR, 2022

Black-Box Algorithm Synthesis - Divide-and-Conquer and More.

Ruyi Ji, Yingfei Xiong, Zhenjiang Hu

CoRR, 2022

2021

Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.

Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury

ACM Trans. Softw. Eng. Methodol., 2021

Multi-peak Graph-based Multi-instance Learning for Weakly Supervised Object Detection.

Ruyi Ji, Zeyu Liu, Libo Zhang, Jianwei Liu, Xin Zuo, Yanjun Wu, Chen Zhao, Haofeng Wang, Lin Yang

ACM Trans. Multim. Comput. Commun. Appl., 2021

Generalizable synthesis through unification.

Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu

Proc. ACM Program. Lang., 2021

Occam Learning Meets Synthesis Through Unification.

Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu

CoRR, 2021

Extend PBFT Protocol with L-DAG.

Anping Song, Yi Dai, Ruyi Ji, Ziheng Song

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

Interactive Patch Filtering as Debugging Aid.

Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

2020

Guiding dynamic programing via structural probability for accelerating programming by example.

Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu

Proc. ACM Program. Lang., 2020

Interactive Patch Filtering as Debugging Aid.

Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong, Gang Huang

CoRR, 2020

Question selection for interactive program synthesis.

Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Learning Semantic Neural Tree for Human Parsing.

Ruyi Ji, Dawei Du, Libo Zhang, Longyin Wen, Yanjun Wu, Chen Zhao, Feiyue Huang, Siwei Lyu

Proceedings of the Computer Vision - ECCV 2020, 2020

Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization.

Ruyi Ji, Longyin Wen, Libo Zhang, Dawei Du, Yanjun Wu, Chen Zhao, Xianglong Liu, Feiyue Huang

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2018

What Does a TextCNN Learn?

Linyuan Gong, Ruyi Ji

CoRR, 2018