Xinyi Chen

LLMs can seamlessly generate formal proofs with a new system that mimics natural mathematical language, bridging the gap between human intuition and formal verification.

Natural language processing meets microscopy analysis, enabling biologists to automate complex tasks without deep programming knowledge.

LLMs struggle to navigate the complex, multi-turn justification and response dynamics of real-world patent examination, revealing critical gaps in legal reasoning and technical novelty judgment.