pith. sign in

Sam Looi

Identifiers

  • name variant Sam Looi 0.60 · backfill

Papers (2)

  1. Characterizing initial human-AI proof formalization workflows cs.AI · 2026 · author #10
  2. The heat trace for domains with curved corners math.SP · 2025 · author #1

Mentions

  • 2606.04273 #10 · arxiv_oai · confidence 0.70 Sam Looi
  • 2512.04422 #1 · arxiv_oai · confidence 0.70 Sam Looi

Frequent Coauthors