Author

Min Gi Kim

0 works0 citations

Recent research

AI & ComputingOpen access
Structure-First Automated Reasoning for Equational Theories: 197/200 Cumulative Lean-Verified Coverage on the SAIR Stage-2 Public Sample
Structure-First Automated Reasoning for Equational Theories This preprint reports cumulative Lean-verified coverage of 197/200 (98.5%) problems on the public SAIR Mathematics Distillation Challenge — Equational Theories Stage-2 sample_200 development set. The result was obtained...
Zenodo (CERN European Organization for Nuclear Research)2026-09-200 citationsDOI
AI & ComputingOpen access
Structure-First Automated Reasoning for Equational Theories: 197/200 Cumulative Lean-Verified Coverage on the SAIR Stage-2 Public Sample
Structure-First Automated Reasoning for Equational Theories This preprint reports cumulative Lean-verified coverage of 197/200 (98.5%) problems on the public SAIR Mathematics Distillation Challenge — Equational Theories Stage-2 sample_200 development set. The result was obtained...
Zenodo (CERN European Organization for Nuclear Research)2026-09-200 citationsDOI