Prithwish Jana

prithwish-jana's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 13 days ago

AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

Paper • 2610.05367 • Published 16 days ago • 2

upvoted 2 papers 18 days ago

Hermes: Learning Contextual Reasoning Unlocks Test-Time Scaling

Paper • 2609.38332 • Published 21 days ago • 10

On the Off-Policy Teacher in On-Policy Distillation

Paper • 2609.38360 • Published 21 days ago • 24

upvoted a paper 19 days ago

MILO: Automated Harness Discovery via Orchestrated Multi-Agent Evolution

Paper • 2609.38349 • Published 21 days ago • 23