Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
CHEN,TAN's picture

CHEN,TAN

RichardLChen
1 3
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago
Logit-Contribution Scoring Identifies Non-Literal Retrieval Heads
upvoted a paper 18 days ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
upvoted a paper about 1 month ago
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks
View all activity

Organizations

None yet

upvoted a paper 1 day ago

Logit-Contribution Scoring Identifies Non-Literal Retrieval Heads

Paper • 2607.01002 • Published 4 days ago • 14
upvoted a paper 18 days ago

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Paper • 2606.12594 • Published 25 days ago • 17
upvoted a paper about 1 month ago

SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks

Paper • 2605.31433 • Published May 29 • 28
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs