Saccha AI

saccha-ai's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

ben072292 

updated 2 models about 2 months ago

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

9B • Updated Jun 17 • 8

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

27B • Updated Jun 12 • 3

ben072292 

published 2 models about 2 months ago

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

27B • Updated Jun 12 • 3

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

9B • Updated Jun 17 • 8

Debargha 

submitted a paper to Daily Papers 6 months ago

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 2

Debargha 

authored 2 papers about 1 year ago

Forte : Finding Outliers with Representation Typicality Estimation

Paper • 2410.01322 • Published Oct 2, 2024 • 2

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3