Zhenwen Liang's picture

2 7

Zhenwen Liang

invokerliang

·

http://zhenwen-nlp.github.io/

LZhenwen

AI & ML interests

Mathematical Reasoning.

Recent Activity

upvoted a paper 4 days ago

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving

commented on a paper 4 days ago

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving

authored a paper about 1 month ago

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning

View all activity

Organizations

commented a paper 4 days ago

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving

Paper • 2507.06804 • Published 6 days ago • 14 •