Michael Saldivar

Identifiers

• name variant Michael Saldivar 0.60 · backfill

Papers (1)

1. Theoria: Rewrite-Acceptability Verification over Informal Reasoning States cs.AI · 2026 · author #2

Mentions

• 2607.01223 #2 · arxiv_oai · confidence 0.70 Michael Saldivar

Frequent Coauthors

• Ben Slivinski 1 shared papers