Seongmin Lee

Identifiers

• name variant Seongmin Lee 0.60 · backfill

Papers (2)

1. Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers cs.SE · 2026 · author #3
2. ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits cs.SE · 2026 · author #3

Mentions

• 2606.06747 #3 · arxiv_oai · confidence 0.70 Seongmin Lee

Frequent Coauthors

• Miryung Kim 2 shared papers
• Anna\"elle Baiget 1 shared papers
• Benjie Wang 1 shared papers
• Ben Limpanukorn 1 shared papers
• Guy Van den Broeck 1 shared papers
• Jaron Maene 1 shared papers
• Jiyuan Wang 1 shared papers
• Qian Zhang 1 shared papers
• Yuxin Qiu 1 shared papers