da's picture

2 1 2

da

happyllll

·

AI & ML interests

None yet

Recent Activity

updated a model 7 days ago

ruc-ai4math/Lean_State_Search_Random

new activity 7 days ago

ruc-ai4math/Lean_State_Search_Random:Add pipeline tag, library and license information

updated a model 7 days ago

ruc-ai4math/LeanStateSearch2025.3

View all activity

Organizations

happyllll's activity

upvoted a paper 17 days ago

ReQFlow: Rectified Quaternion Flow for Efficient and High-Quality Protein Backbone Generation

Paper • 2502.14637 • Published 22 days ago • 8