Ruyi Ji

45 papers A* 2A 1B 1Journal 34Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages.
Proc. ACM Program. Lang.
Zhentao Ye, Ruyi Ji, Yingfei Xiong, Xin Zhang
2026 J jnl
Thinking in Streaming Video.
CoRR
Zikang Liu, Longteng Guo, Handong Li, Ru Zhen, Xingjian He, Ruyi Ji, Xiaoming Ren, Yanhao Zhang, Haonan Lu, Jing Liu
2025 J jnl
Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective.
CoRR
Emmanuel Anaya Gonzalez, Sairam Vaidya, Kanghee Park, Ruyi Ji, Taylor Berg-Kirkpatrick, Loris D'Antoni
2025 J jnl
Equality Saturation Guided by Large Language Models.
CoRR
Wentao Peng, Ruyi Ji, Yingfei Xiong
2025 J jnl
Exploring X-Ray Prohibited Item Detection From Long-Tailed Learning Perspective.
IEEE Trans. Inf. Forensics Secur.
Boying Wang, Fuwei Zhang, Xiangfei Fang, Ruyi Ji, Renshuai Tao, Yaming Cao, Bo Liu, Jing Liu
2025 J jnl
FrontierCS: Evolving Challenges for Evolving Intelligence.
CoRR
Qiuyang Mang, Wenhao Chai, Zhifei Li, Huanzhi Mao, Shang Zhou, Alexander Du, Hanchen Li, Shu Liu, Edwin Chen, Yichuan Wang, Xieting Chu, Zerui Cheng, Yuan Xu, Tian Xia, Zirui Wang, Tianneng Shi, Jianzhu Yao, Yilong Zhao, Qizheng Zhang, Charlie Ruan, Zeyu Shen, Kaiyuan Liu, Runyuan He, Dong Xing, Zerui Li, Zirong Zeng, Yige Jiang, Lufeng Cheng, Ziyi Zhao, Youran Sun, Wesley Zheng, Meiyuwang Zhang, Ruyi Ji, Xuechang Tu, Zihan Zheng, Zexing Chen, Kangyang Zhou, Zhaozi Wang, Jingbang Chen, Aleksandra Korolova, Peter Henderson, Pramod Viswanath, Vijay Ganesh, Saining Xie, Zhuang Liu, Dawn Song, Sewon Min, Ion Stoica, Joseph E. Gonzalez, Jingbo Shang, Alvin Cheung
2025 J jnl
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis.
CoRR
Zhechong Huang, Zhao Zhang, Ruyi Ji, Tingxuan Xia, Qihao Zhu, Qinxiang Cao, Zeyu Sun, Yingfei Xiong
2025 J jnl
Learning to zoom: Exploiting mixed-scale contextual information for object detection.
Expert Syst. Appl.
Boying Wang, Ruyi Ji, Libo Zhang, Yanjun Wu, Jing Liu
2025 J jnl
Spatial-temporal context-aware network for 3D-Craft generation.
Appl. Intell.
Ruyi Ji, Qunbo Wang, Boying Wang, Hangu Zhang, Wentao Zhang, Lin Dai, Yanni Wang
2025 J jnl
Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis.
Proc. ACM Program. Lang.
Guanlin Chen, Ruyi Ji, Shuhao Zhang, Yingfei Xiong
2024 — conf
ASAC: A Benchmark for Algorithm Synthesis.
SIGSOFT FSE Companion
Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong
2024 J jnl
CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs.
Proc. ACM Program. Lang.
Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova
2024 J jnl
CMFN: Cross-Modal Fusion Network for Irregular Scene Text Recognition.
CoRR
Jinzhi Zheng, Ruyi Ji, Libo Zhang, Yanjun Wu, Chen Zhao
2024 J jnl
Correction: PIDray: A Large-Scale X-ray Benchmark for Real-World Prohibited Item Detection.
Int. J. Comput. Vis.
Libo Zhang, Lutao Jiang, Ruyi Ji, Heng Fan
2024 J jnl
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.
ACM Trans. Program. Lang. Syst.
Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
2024 — conf
Proving Functional Program Equivalence via Directed Lemma Synthesis.
FM (1)
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2024 J jnl
Proving Functional Program Equivalence via Directed Lemma Synthesis.
CoRR
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2024 — conf
Soft Knowledge Prompt: Help External Knowledge Become a Better Teacher to Instruct LLM in Knowledge-based VQA.
ACL (1)
Qunbo Wang, Ruyi Ji, Tianhao Peng, Wenjun Wu, Zechao Li, Jing Liu
2024 J jnl
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.
Proc. ACM Program. Lang.
Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu
2023 B conf
A Semantic and Structural Transformer for Code Summarization Generation.
IJCNN
Ruyi Ji, Zhenyu Tong, Tiejian Luo, Jing Liu, Libo Zhang
2023 J jnl
Bridging Multi-Scale Context-Aware Representation for Object Detection.
IEEE Trans. Circuits Syst. Video Technol.
Boying Wang, Ruyi Ji, Libo Zhang, Yanjun Wu
2023 — conf
CMFN: Cross-Modal Fusion Network for Irregular Scene Text Recognition.
ICONIP (6)
Jinzhi Zheng, Ruyi Ji, Libo Zhang, Yanjun Wu, Chen Zhao
2023 J jnl
Dual Transformer With Multi-Grained Assembly for Fine-Grained Visual Classification.
IEEE Trans. Circuits Syst. Video Technol.
Ruyi Ji, Jiaying Li, Libo Zhang, Jing Liu, Yanjun Wu
2023 J jnl
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection.
Proc. ACM Program. Lang.
Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
2023 J jnl
PIDray: A Large-Scale X-ray Benchmark for Real-World Prohibited Item Detection.
Int. J. Comput. Vis.
Libo Zhang, Lutao Jiang, Ruyi Ji, Heng Fan
2023 J jnl
SDF-3DGAN: A 3D Object Generative Method Based on Implicit Signed Distance Function.
CoRR
Lutao Jiang, Ruyi Ji, Libo Zhang
2023 — conf
Scaling up Program Synthesis to Efficient Algorithms.
SPLASH Companion
Ruyi Ji
2023 J jnl
Siamese self-supervised learning for fine-grained visual classification.
Comput. Vis. Image Underst.
Ruyi Ji, Jiaying Li, Libo Zhang
2022 J jnl
Black-Box Algorithm Synthesis - Divide-and-Conquer and More.
CoRR
Ruyi Ji, Yingfei Xiong, Zhenjiang Hu
2022 J jnl
PIDray: A Large-scale X-ray Benchmark for Real-World Prohibited Item Detection.
CoRR
Libo Zhang, Lutao Jiang, Ruyi Ji, Heng Fan
2022 J jnl
Synthesizing Efficient Dynamic Programming Algorithms.
CoRR
Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu
2021 J jnl
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.
ACM Trans. Softw. Eng. Methodol.
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
2021 — conf
Extend PBFT Protocol with L-DAG.
ISPA/BDCloud/SocialCom/SustainCom
Anping Song, Yi Dai, Ruyi Ji, Ziheng Song
2021 J jnl
Generalizable synthesis through unification.
Proc. ACM Program. Lang.
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
2021 A conf
Interactive Patch Filtering as Debugging Aid.
ICSME
Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang
2021 J jnl
Multi-peak Graph-based Multi-instance Learning for Weakly Supervised Object Detection.
ACM Trans. Multim. Comput. Commun. Appl.
Ruyi Ji, Zeyu Liu, Libo Zhang, Jianwei Liu, Xin Zuo, Yanjun Wu, Chen Zhao, Haofeng Wang, Lin Yang
2021 J jnl
Occam Learning Meets Synthesis Through Unification.
CoRR
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
2020 A* conf
Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization.
CVPR
Ruyi Ji, Longyin Wen, Libo Zhang, Dawei Du, Yanjun Wu, Chen Zhao, Xianglong Liu, Feiyue Huang
2020 J jnl
Guiding dynamic programing via structural probability for accelerating programming by example.
Proc. ACM Program. Lang.
Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu
2020 J jnl
Interactive Patch Filtering as Debugging Aid.
CoRR
Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong, Gang Huang
2020 — conf
Learning Semantic Neural Tree for Human Parsing.
ECCV (13)
Ruyi Ji, Dawei Du, Libo Zhang, Longyin Wen, Yanjun Wu, Chen Zhao, Feiyue Huang, Siwei Lyu
2020 A* conf
Question selection for interactive program synthesis.
PLDI
Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu
2019 J jnl
Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization.
CoRR
Ruyi Ji, Longyin Wen, Libo Zhang, Dawei Du, Yanjun Wu, Chen Zhao, Xianglong Liu, Feiyue Huang
2019 J jnl
Learning Semantic Neural Tree for Human Parsing.
CoRR
Ruyi Ji, Dawei Du, Libo Zhang, Longyin Wen, Yanjun Wu, Chen Zhao, Feiyue Huang, Siwei Lyu
2018 J jnl
What Does a TextCNN Learn?
CoRR
Linyuan Gong, Ruyi Ji