Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
WuJing's picture
4 4

WuJing

Wu-Jing
·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago
IterResearch: Rethinking Long-Horizon Agents via Markovian State Reconstruction
upvoted a paper 2 months ago
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
upvoted a collection 2 months ago
ReForm
View all activity

Organizations

None yet

upvoted a paper about 2 months ago

IterResearch: Rethinking Long-Horizon Agents via Markovian State Reconstruction

Paper • 2511.07327 • Published Nov 10, 2025 • 76
upvoted a paper 2 months ago

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization

Paper • 2510.24592 • Published Oct 28, 2025 • 16
upvoted 2 collections 2 months ago

ReForm

Collection
1 item • Updated Oct 30, 2025 • 1

ReForm

Collection
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization • 4 items • Updated Oct 29, 2025 • 4
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs