Tongxu Luo's picture

Tongxu Luo

Zeno-Luo

·

https://tongxuluo.github.io/

tongxuluo

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

Pass@k Training for Adaptively Balancing Exploration and Exploitation of Large Reasoning Models

upvoted a paper 19 days ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

upvoted a paper about 1 month ago

MedGen: Unlocking Medical Video Generation by Scaling Granularly-annotated Medical Videos

View all activity

Organizations

Papers 6

arxiv:2505.07787

arxiv:2406.17245

arxiv:2405.15319

arxiv:2402.13717

models 0

None public yet

datasets 0

None public yet