Source author record

Yong Ding

Yong Ding appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2026arXiv

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

Grammar inference for complex programming languages remains a significant challenge, as existing approaches fail to scale to real world datasets within practical time constraints. In our experiments, none of the state-of-the-art tools, including Arvada, Treevada and Kedavra were able to infer grammars for complex languages such as C, C++, and Java within 48 hours. Arvada and Treevada perform grammar inference directly on full-length input examples, which proves inefficient for large files commonly found in such languages. While Kedavra introduces data decomposition to create shorter examples for grammar inference, its lexical analysis still relies on the original inputs. Additionally, its strict no-overgeneralization constraint limits the construction of complex grammars. To overcome these limitations, we propose Crucio, which builds a decomposition forest to extract short examples for lexical and grammar inference via a distributional matrix. Experimental results show that Crucio is the only method capable of successfully inferring grammars for complex programming languages (where the number of nonterminals is up to 23x greater than in prior benchmarks) within reasonable time limits. On the prior simple benchmark, Crucio achieves an average recall improvement of 1.37x and 1.19x over Treevada and Kedavra, respectively, and improves F1 scores by 1.21x and 1.13x.

preprint2022arXiv

Pseudo-Stereo for Monocular 3D Object Detection in Autonomous Driving

Pseudo-LiDAR 3D detectors have made remarkable progress in monocular 3D detection by enhancing the capability of perceiving depth with depth estimation networks, and using LiDAR-based 3D detection architectures. The advanced stereo 3D detectors can also accurately localize 3D objects. The gap in image-to-image generation for stereo views is much smaller than that in image-to-LiDAR generation. Motivated by this, we propose a Pseudo-Stereo 3D detection framework with three novel virtual view generation methods, including image-level generation, feature-level generation, and feature-clone, for detecting 3D objects from a single image. Our analysis of depth-aware learning shows that the depth loss is effective in only feature-level virtual view generation and the estimated depth map is effective in both image-level and feature-level in our framework. We propose a disparity-wise dynamic convolution with dynamic kernels sampled from the disparity feature map to filter the features adaptively from a single image for generating virtual image features, which eases the feature degradation caused by the depth estimation errors. Till submission (November 18, 2021), our Pseudo-Stereo 3D detection framework ranks 1st on car, pedestrian, and cyclist among the monocular 3D detectors with publications on the KITTI-3D benchmark. The code is released at https://github.com/revisitq/Pseudo-Stereo-3D.

preprint2020arXiv

3D IoU-Net: IoU Guided 3D Object Detector for Point Clouds

Most existing point cloud based 3D object detectors focus on the tasks of classification and box regression. However, another bottleneck in this area is achieving an accurate detection confidence for the Non-Maximum Suppression (NMS) post-processing. In this paper, we add a 3D IoU prediction branch to the regular classification and regression branches. The predicted IoU is used as the detection confidence for NMS. In order to obtain a more accurate IoU prediction, we propose a 3D IoU-Net with IoU sensitive feature learning and an IoU alignment operation. To obtain a perspective-invariant prediction head, we propose an Attentive Corner Aggregation (ACA) module by aggregating a local point cloud feature from each perspective of eight corners and adaptively weighting the contribution of each perspective with different attentions. We propose a Corner Geometry Encoding (CGE) module for geometry information embedding. To the best of our knowledge, this is the first time geometric embedding information has been introduced in proposal feature learning. These two feature parts are then adaptively fused by a multi-layer perceptron (MLP) network as our IoU sensitive feature. The IoU alignment operation is introduced to resolve the mismatching between the bounding box regression head and IoU prediction, thereby further enhancing the accuracy of IoU prediction. The experimental results on the KITTI car detection benchmark show that 3D IoU-Net with IoU perception achieves state-of-the-art performance.

preprint2016arXiv

$L^1$-Dini conditions and limiting behavior of weak type estimates for singular integrals

In 2006, Janakiraman [10] showed that if $Ω$ with mean value zero on $S^{n-1}$ satisfies the condition \[ \sup_{|ξ|=1}\int_{S^{n-1}}|Ω(θ)-Ω(θ+δξ)|dσ(θ)\leq Cnδ\int_{S^{n-1}}|Ω(θ)|dσ(θ),\quad 0<δ<\frac{1}{n},\ (\ast) \] then for the singular integral operator $T_Ω$ with homogeneous kernel, the following limiting behavior holds: \[\lim\limits_{λ\rightarrow 0}λm(\{x\in\mathbb{R}^n:|T_Ωf(x)|>λ\})= \frac{1}{n}\|Ω\|_{1}\|f\|_{1},\quad \text{for}\ f\in L^1(\mathbb{R}^n)\ \text{with}\ f\geq 0.\ (\ast\ast)\] In the present paper, we prove that if replacing the condition $(\ast)$ by more general condition, the $L^1$-Dini condition, then the limiting behavior $(\ast\ast)$ still holds for the singular integral $T_Ω$. In particular, we give an example which satisfies the $L^1$-Dini condition, but does not satisfy $(\ast)$. Hence, we improve essentially the above result given in [10]. To prove our conclusion, we show that the $L^1$-Dini conditions defined respectively via the rotation and translation on $\mathbb{R}^n$ are equivalent (see Theorem 2.5 below), which has its own interest in the theory of singular integrals. Moreover, similar limiting behavior for the fractional integral operator $T_{Ω,α}$ with homogeneous kernel is also established in this paper.

preprint2016arXiv

Riesz transforms associated with higher-order Schrödinger type operators

In this paper, let $L=L_{0}+V$ be a Schrödinger type operator where $L_{0}$ is higher order elliptic operator with complex coefficients in divergence form and $V$ is signed measurable function, under the strongly subcritical assumption on $V$, the authors study the $L^{q}$ boundedness of Riesz transforms $\nabla^{m}L^{-1/2}$ for $q\leq 2$ and obtain a sharp result. Furthermore, the authors impose extra regularity assumptions on $V$ to obtain the $L^{q}$ boundedness of Riesz transforms $\nabla^{m}L^{-1/2}$ for $q>2$. As an application, the main results can be applied to the operator $L=(-Δ)^{m}-γ|x|^{-2m}$ for suitable $γ$

preprint2015arXiv

Jump and variational inequalities for rough operators

In this paper, we systematically study jump and variational inequalities for rough operators, whose research have been initiated by Jones {\it et al}. More precisely, we show some jump and variational inequalities for the families $\mathcal T:=\{T_\varepsilon\}_{\varepsilon>0}$ of truncated singular integrals and $\mathcal M:=\{M_t\}_{t>0}$ of averaging operators with rough kernels, which are defined respectively by $$ T_\varepsilon f(x)=\int_{|y|>\varepsilon}\frac{Ω(y')}{|y|^n}f(x-y)dy $$ and $$M_t f(x)=\frac1{t^n}\int_{|y|<t}Ω(y')f(x-y)dy, $$ where the kernel $Ω$ belongs to $L\log^+\!\!L(\mathbf S^{n-1})$ or $H^1(\mathbf S^{n-1})$ or $\mathcal{G}_α(\mathbf S^{n-1})$ (the condition introduced by Grafakos and Stefanov). Some of our results are sharp in the sense that the underlying assumptions are the best known conditions for the boundedness of corresponding maximal operators.

preprint2015arXiv

Weighted bound for commutators

Let $K$ be the Calderón-Zygmund convolution kernel on $\mathbb{R}^d (d\geq2)$. Define the commutator associated with $K$ and $a\in L^\infty(\mathbb{R}^d)$ by \[ T_af(x)=p.v. \int K(x-y)m_{x,y}a\cdot f(y)dy. \] Recently, Grafakos and Honz\'ık [5] proved that $T_a$ is of weak type (1,1) for $d=2$. In this paper, we show that $T_a$ is also weighted weak type (1,1) with the weight $|x|^α\,(-2<α<0)$ for $d=2$. Moreover, we prove that $T_a$ is bounded on weighted $L^p(\mathbb{R}^d)\,(1<p<\infty)$ for all $d\ge2$.

preprint2013arXiv

Compactness of commutators of bilinear maximal Calderón-Zygmund singular integral operators

Let $T$ be a bilinear Calderón-Zygmund singular integral operator and $T_*$ be its corresponding truncated maximal operator. The commutators in the $i$-$th$ entry and the iterated commutators of $T_*$ are defined by $$ T_{\ast,b,1}(f,g)(x)=\sup_{δ>0}\bigg|\iint_{|x-y|+|x-z|>δ}K(x,y,z)(b(y)-b(x))f(y)g(z)dydz\bigg|, $$ $$T_{\ast,b,2}(f,g)(x)=\sup_{δ>0}\bigg|\iint_{|x-y|+|x-z|>δ}K(x,y,z)(b(z)-b(x))f(y)g(z)dydz\bigg|,$$ \begin{align*} T_{\ast,(b_1,b_2)}(f,g)(x)=\sup\limits_{δ>0}\bigg|\iint_{|x-y|+|x-z|>δ} K(x,y,z)(b_1(y)-b_1(x))(b_2(z)-b_2(x))f(y)g(z)dydz\bigg|. \end{align*} In this paper, the compactness of the commutators $T_{\ast,b,1}$, $T_{\ast,b,2}$ and $T_{\ast,(b_1,b_2)}$ on $L^r(\mathbb{R}^n))$ is established.