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
6
5
Bingrui Li
Bingrui
Follow
jt-zhang's profile picture
1 follower
·
1 following
https://bingrui-li.github.io
bingrui-li
AI & ML interests
None yet
Recent Activity
liked
a dataset
10 days ago
m-a-p/Retrieval-Infused-Reasoning-Sandbox
upvoted
a
paper
11 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
liked
a model
3 months ago
openbmb/AgentCPM-Report
View all activity
Organizations
None yet
Bingrui
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
10 days ago
m-a-p/Retrieval-Infused-Reasoning-Sandbox
Viewer
•
Updated
Feb 3
•
300
•
76
•
3
liked
a model
3 months ago
openbmb/AgentCPM-Report
Text Generation
•
8B
•
Updated
Feb 11
•
1.05k
•
300
liked
3 datasets
3 months ago
allenai/dolma3_longmino_pool
Updated
Jan 5
•
29k
•
13
princeton-nlp/prolong-data-64K
Updated
Oct 5, 2024
•
33.4k
•
23
Tevatron/browsecomp-plus
Viewer
•
Updated
Dec 20, 2025
•
830
•
19.8k
•
34