Ben Slivinski
@ben-slivinski · 1 works
Researches how to make AI systems trustworthy and verifiable.
Recent posts by Ben Slivinski
- Theoria: Rewrite-Acceptability Verification over Informal Reasoning States - When should an AI system's answer be trusted? Formal proof assistants offer certainty but cannot reach most of the problem distribution; scalar LLM judges offer coverage but produce opaque scores… · Paper · arxiv.org
Topics Ben Slivinski posts about
- AI Models on Instagram - 1 post · Best AI Models creators