Saccha AI

AI & ML interests

None defined yet.

Recent Activity

ben072292  updated a model 2 days ago

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

ben072292  updated a model 2 days ago

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

ben072292  published a model 2 days ago

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

View all activity

Team members 2