Yicheng He

bruno888's activity

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

submitted a paper to Daily Papers 3 months ago

CodeCircuit: Toward Inferring LLM-Generated Code Correctness via Attribution Graphs

Paper • 2602.07080 • Published Feb 6 • 6

authored 3 papers 8 months ago

Understanding Embedding Scaling in Collaborative Filtering

Paper • 2509.15709 • Published Sep 19, 2025 • 5

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

Paper • 2507.16331 • Published Jul 22, 2025 • 22

Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers

Paper • 2509.03059 • Published Sep 3, 2025 • 25