Jing Xiong

ATTS: Asynchronous Test-Time Scaling via Conformal Prediction

SWINGARENA: Adversarial Programming Arena for Long-context GitHub Issue Solving

Mathesis: Towards Formal Theorem Proving from Natural Languages

Understanding the Mixture-of-Experts with Nadaraya-Watson Kernel

PhyX: Does Your Model Have the "Wits" for Physical Reasoning?

LongEmotion: Measuring Emotional Intelligence of Large Language Models in Long-Context Interaction

FormalAlign: Automated Alignment Evaluation for Autoformalization

SAS: Simulated Attention Score

SRPO: Enhancing Multimodal LLM Reasoning via Reflection-Aware Reinforcement Learning

$\text{D}_{2}\text{O}$: Dynamic Discriminative Operations for Efficient Long-Context Inference of Large Language Models

DAPE V2: Process Attention Score as Feature Map for Length Extrapolation

ParallelComp: Parallel Long-Context Compressor for Length Extrapolation

UNComp: Uncertainty-Aware Long-context Compressor for Efficient Large Language Model Inference

SkipGPT: Each Token is One of a Kind

UncertaintyRAG: Span Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation

Process-Driven Autoformalization in Lean 4