SPA

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  updated a model about 13 hours ago

DiffLean/K2-Prover-SFT-8B-LORA

Jforeverss  published a model about 13 hours ago

DiffLean/K2-Prover-SFT-8B-LORA

Jforeverss  published a dataset 2 days ago

DiffLean/goedel-prover-autoformalizer-openr1

View all activity

Team members 4