AI.info

Jisoo Lee

Explore Jisoo Lee on AI.info.

• SERIAL-7: Deriving, Realizing, and Preserving Machine-Verifiable Outputs Across Representations