Saccha AI

AI & ML interests

None defined yet.

Recent Activity

Debargha  submitted a paper 2 days ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

ben072292  updated a model 3 months ago

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

ben072292  updated a model 3 months ago

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

View all activity

Team members 2