Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
UCSD-GENIE (UCSD-GENIE)
[go: Go Back, main page]
Hugging Face's logo

UCSD-GENIE
university
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
Bohan22  authored a paper about 1 month ago
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI
Bohan22  submitted a paper about 1 month ago
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI
Bohan22  authored a paper 10 months ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
View all activity

models 0

None public yet

datasets 0

None public yet