CHEN，TAN
RichardLChen
·
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 TasksOrganizations
None yet