Katherine Kosaian

Identifiers

• name variant Katherine Kosaian 0.60 · backfill

Papers (1)

1. Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar cs.LO · 2026 · author #3

Mentions

• 2603.07771 #3 · arxiv_oai · confidence 0.70 Katherine Kosaian

Frequent Coauthors

• Hanna Lachnitt 1 shared papers
• Sage Binder 1 shared papers