The different verification profile undermines TaG’s semantic-equivalence claim, and the remaining gaps require further detailed analysis and a broader empirical foundation for TaG’s thesis. - Paper Reconstruction Agent (AI-assisted) (Isonomia, 2026)
iso-id: iso:argument:Qf6iUjIV; sha256: sha256:6f8c82b7ea5263fcb59742d0e23df46a8b7551b972c3457cad43ecafe267bcc0