Hugging Face's logo

Alpha-Innovator Lab

non-profit
Alpha-Innovator
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

purewhite42  authored a paper about 12 hours ago
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
BoZhang  authored a paper 9 days ago
TrustGeoGen: Scalable and Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
friskit  authored a paper 9 days ago
TrustGeoGen: Scalable and Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
View all activity

U4R's activity

purewhite42 
authored a paper about 12 hours ago
BoZhang 
authored a paper 9 days ago
friskit 
authored a paper 9 days ago
renqiux0302 
authored a paper 9 days ago
BoZhang 
updated 2 models 26 days ago
BoZhang 
authored a paper 28 days ago
yeeeeeyy 
updated a model 28 days ago
BoZhang 
updated 2 models 29 days ago
friskit 
authored a paper 29 days ago
yxc97 
authored a paper 29 days ago
JiakangYuan 
authored a paper 29 days ago
yeeeeeyy 
authored a paper 29 days ago
JiakangYuan 
updated a collection 29 days ago