5 papers
PosIR: Position-Aware Heterogeneous Information Retrieval Benchmark
Ziyang Zeng, Dun Zhang, Yu Yan +4
In real-world documents, the information relevant to a user query may reside anywhere from the beginning to the end. This makes position bias -- a systematic tendency of retrieval…
Jasper-Token-Compression-600M Technical Report
Dun Zhang, Ziyang Zeng, Yudong Zhou +1
This technical report presents the training methodology and evaluation results of the open-source Jasper-Token-Compression-600M model, released in November 2025. Building on previo…
An Empirical Study of Position Bias in Modern Information Retrieval
Ziyang Zeng, Dun Zhang, Jiacheng Li +3
This study investigates the position bias in information retrieval, where models tend to overemphasize content at the beginning of passages while neglecting semantically relevant i…
Mathesis: Towards Formal Theorem Proving from Natural Languages
Yu Xuejun, Jianyuan Zhong, Zijin Feng +17
Recent advances in large language models show strong promise for formal reasoning. However, most LLM-based theorem provers have long been constrained by the need for expert-written…
Dewey Long Context Embedding Model: A Technical Report
Dun Zhang, Panxiang Zou, Yudong Zhou
This technical report presents the training methodology and evaluation results of the open-source dewey_en_beta embedding model. The increasing demand for retrieval-augmented gener…