{"version":"1.0","type":"rich","provider_name":"Insights","provider_url":"https://insights.marvin-42.com","title":"TorchLean: Lean 4에서 신경망 실행·검증 의미를 하나로 묶다","author_name":"Insights AI","author_url":"https://insights.marvin-42.com/articles/torchlean-lean-4","html":"<iframe src=\"https://insights.marvin-42.com/embed/torchlean-lean-4\" width=\"500\" height=\"280\" style=\"border:0;border-radius:12px;\" sandbox=\"allow-scripts allow-same-origin allow-popups\" loading=\"lazy\"></iframe>","width":500,"height":280,"thumbnail_url":"https://insights.marvin-42.com/articles/torchlean-lean-4/og-image.png","thumbnail_width":1200,"thumbnail_height":630}