Source author record

Zhiyu Li

Zhiyu Li 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
7topics
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

MemReranker: Reasoning-Aware Reranking for Agent Memory Retrieval

In agent memory systems, the reranking model serves as the critical bridge connecting user queries with long-term memory. Most systems adopt the "retrieve-then-rerank" two-stage paradigm, but generic reranking models rely on semantic similarity matching and lack genuine reasoning capabilities, leading to a problem where recalled results are semantically highly relevant yet do not contain the key information needed to answer the question. This deficiency manifests in memory scenarios as three specific problems. First, relevance scores are miscalibrated, making threshold-based filtering difficult. Second, ranking degrades when facing temporal constraints, causal reasoning, and other complex queries. Third, the model cannot leverage dialogue context for semantic disambiguation. This report introduces MemReranker, a reranking model family (0.6B/4B) built on Qwen3-Reranker through multi-stage LLM knowledge distillation. Multi-teacher pairwise comparisons generate calibrated soft labels, BCE pointwise distillation establishes well-distributed scores, and InfoNCE contrastive learning enhances hard-sample discrimination. Training data combines general corpora with memory-specific multi-turn dialogue data covering temporal constraints, causal reasoning, and coreference resolution. On the memory retrieval benchmark, MemReranker-0.6B substantially outperforms BGE-Reranker and matches open-source 4B/8B models as well as GPT-4o-mini on key metrics. MemReranker-4B further achieves 0.737 MAP, with several metrics on par with Gemini-3-Flash, while maintaining inference latency at only 10--20% of large models. On finance and healthcare vertical-domain benchmarks, the models preserve generalization capabilities on par with mainstream large-parameter rerankers.

preprint2025arXiv

xVerify: Efficient Answer Verifier for Reasoning Model Evaluations

With the release of OpenAI's o1 model, reasoning models that adopt slow-thinking strategies have become increasingly common. Their outputs often contain complex reasoning, intermediate steps, and self-reflection, making existing evaluation methods and reward models inadequate. In particular, they struggle to judge answer equivalence and to reliably extract final answers from long, complex responses. To address this challenge, we propose xVerify, an efficient answer verifier for evaluating reasoning models. xVerify shows strong equivalence judgment capabilities, enabling accurate comparison between model outputs and reference answers across diverse question types. To train and evaluate xVerify, we construct the VAR dataset, which consists of question-answer pairs generated by multiple LLMs across various datasets. The dataset incorporates multiple reasoning models and challenging evaluation sets specifically designed for reasoning assessment, with a multi-round annotation process to ensure label quality. Based on VAR, we train xVerify models at different scales. Experimental results on both test and generalization sets show that all xVerify variants achieve over 95% F1 score and accuracy. Notably, the smallest model, xVerify-0.5B-I, outperforms all evaluation methods except GPT-4o, while xVerify-3B-Ib surpasses GPT-4o in overall performance. In addition, reinforcement learning experiments using xVerify as the reward model yield an 18.4% improvement for Qwen2.5-7B compared with direct generation, exceeding the gains achieved with Math Verify as the reward. These results demonstrate the effectiveness and generalizability of xVerify. All xVerify resources are available on \href{https://github.com/IAAR-Shanghai/xVerify}{GitHub}.

preprint2022arXiv

Critical Angle at a Moving Interface Formed by a Space-Time Modulation Step

This paper addresses the problem of wave scattering at a moving interface formed by a space-time modulation step. Specifically, it derives, using the technique of frame hopping with Lorentz transformation, the formula for the corresponding critical angle beyond which the transmitted field is evanescent. It shows that this angle is smaller (resp. larger) than $π/2$ (position of the interface) for a modulation that is codirectional (resp. contradirectional) to the direction of wave propagation, and that the critical angle versus the modulation velocity function monotonically decreases to zero at the velocity where the incident wave cannot catch up any more with the interface. The theory is illustrated and validated by full-wave FDTD simulation.

preprint2014arXiv

Reconstructing human organ cross-sectional imaging along any axis

Cross-sectional imaging of human organ serves as a critical tool to provide diagnostic results of many diseases. Based on a unique body coordinate system, we present a method that we use to reconstruct any cross-sectional imaging of organ regardless of its original section going along which scanning or cutting axis. In clinical medicine, this method enables a patient to undergo only one scanning, and then the doctor can observe the structure of lesion sections along any axis, and it can help find changes of lesions at the same section from different scanning results and thus quantify diagnosis by cross-sectional imaging. Significant progress has thus been made towards quantitative diagnosis cross-sectional imaging.

preprint2013arXiv

Three-Dimensional Reconstruction of Erythrocyte in the Capillary

The dynamic analysis of erythrocyte deformability is used as an important means for early diagnosis of blood diseases and blood rheology. Yet no effective method is available in terms of three-dimensional reconstruction of erythrocytes in a capillary. In this study, ultrathin serial sections of skeletal muscle tissue are obtained from the ultramicrotome, the tomographic images of an erythrocyte in a capillary are captured by the transmission electron microscope, and then a method to position and restore is devised to demonstrate the physiological relationship between two adjacent tomographic images of an erythrocyte. Both the modeling and the physical verification reveal that this method is effective, which means that it can be used to make three-dimensional reconstruction of an erythrocyte in a capillary. An example of reconstructed deformation of erythrocyte based on the serial ultrathin sections is shown at the end of this paper.

preprint2011arXiv

Natural gaits of the non-pathological flat foot and high-arched foot

There has been a controversy as to whether or not the non-pathological flat foot and high-arched foot have an effect on human walking activities. The 3D foot scanning system was employed to obtain static footprints from subjects adopting a half-weight-bearing stance. Based upon their footprints, the subjects were divided into two groups: the flat-footed and the high-arched. The plantar pressure measurement system was used to measure and record the subjects' successive natural gaits. Two indices were proposed: distribution of vertical ground reaction force (VGRF) of plantar and the rate of the footprint areas. Using these two indices to compare the natural gaits of the two subject groups, we found that (1) in stance phase, there is a significant difference (p<0.01) in the distributions of VGRF of plantar; (2) in a stride cycle, there is also a significant difference (p<0.01) in the rates of the footprint areas. Our analysis suggests that when walking, the VGRF of the plantar brings greater muscle tension to the flat-footed while a smaller rate of the footprint areas brings greater stability to the high-arched.

preprint2010arXiv

Distribution of Primes and of Interval Prime Pairs Based on $Θ$ Function

$Θ$ function is defined based upon Kronecher symbol. In light of the principle of inclusion-exclusion, $Θ$ function of sine function is used to denote the distribution of composites and primes. The structure of Goldbach Conjecture has been analyzed, and $Ξ$ function is brought forward by the linear diophantine equation; by relating to $Θ$ function, the interval distribution of composite pairs and prime pairs (i.e. the Goldbach Conjecture) is thus obtained. In the end, Abel's Theorem (Multiplication of Series) is used to discuss the lower limit of the distribution of the interval prime pairs.

preprint2010arXiv

Dynamic Principles of Center of Mass in Human Walking

We present results of an analytic and numerical calculation that studies the relationship between the time of initial foot contact and the ground reaction force of human gait and explores the dynamic principle of center of mass. Assuming the ground reaction force of both feet to be the same in the same phase of a stride cycle, we establish the relationships between the time of initial foot contact and the ground reaction force, acceleration, velocity, displacement and average kinetic energy of center of mass. We employ the dispersion to analyze the effect of the time of the initial foot contact that imposes upon these physical quantities. Our study reveals that when the time of one foot's initial contact falls right in the middle of the other foot's stride cycle, these physical quantities reach extrema. An action function has been identified as the dispersion of the physical quantities and optimized analysis used to prove the least-action principle in gait. In addition to being very significant to the research domains such as clinical diagnosis, biped robot's gait control, the exploration of this principle can simplify our understanding of the basic properties of gait.