AI.info

Xinjie Chen

Explore Xinjie Chen on AI.info.

• LPFQA: A Long-Tail Professional Forum-based Benchmark for LLM Evaluation
• ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization