SPA

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  updated a dataset about 6 hours ago

DiffLean/SFT_Dataset

Jforeverss  published a dataset about 6 hours ago

DiffLean/SFT_Dataset

Jforeverss  updated a dataset about 8 hours ago

DiffLean/Formal-Proof-Verified

View all activity

Team members 3