14 citations · 30 across the 11 of their papers we have counts for
11 papers
Proving Functional Program Equivalence via Directed Lemma Synthesis
Yican Sun, Ruyi Ji, Jian Fang +3
Proving equivalence between functional programs is a fundamental problem in program verification, which often amounts to reasoning about algebraic data types (ADTs) and composition…
CMFN: Cross-Modal Fusion Network for Irregular Scene Text Recognition
Jinzhi Zheng, Ruyi Ji, Libo Zhang +2
Scene text recognition, as a cross-modal task involving vision and text, is an important research topic in computer vision. Most existing methods use language models to extract sem…
SDF-3DGAN: A 3D Object Generative Method Based on Implicit Signed Distance Function
Lutao Jiang, Ruyi Ji, Libo Zhang
In this paper, we develop a new method, termed SDF-3DGAN, for 3D object generation and 3D-Aware image synthesis tasks, which introduce implicit Signed Distance Function (SDF) as th…
PIDray: A Large-scale X-ray Benchmark for Real-World Prohibited Item Detection
Libo Zhang, Lutao Jiang, Ruyi Ji +1
Automatic security inspection relying on computer vision technology is a challenging task in real-world scenarios due to many factors, such as intra-class variance, class imbalance…
Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms
Ruyi Ji, Tianran Zhu, Yingfei Xiong +1
Dynamic programming is an important optimization technique, but designing efficient dynamic programming algorithms can be difficult for even professional programmers. Thinning, a t…
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ruyi Ji, Yuwei Zhao, Yingfei Xiong +3
Algorithmic paradigms such as divide-and-conquer (D&C) are proposed to guide developers in designing efficient algorithms, but it can still be difficult to apply algorithmic paradi…