Saccha AI

AI & ML interests

None defined yet.

Recent Activity

ben072292  updated a model 25 days ago

saccha-ai/Sequent-Prover-9B-Preview

ben072292  updated a model about 1 month ago

saccha-ai/Sequent-Prover-27B-Preview

ben072292  published a model about 1 month ago

saccha-ai/Sequent-Prover-27B-Preview

View all activity

Team members 2