職業分類
データサイエンティスト
説明
Collaborate on mathematical research in natural language, formulate and challenge lemmas, run bounded Lean proof attempts, preserve research dossiers and transfer reproducible evidence. Includes general Std proof projects and concrete LRC witnesses.
原文の言語: 英語
更新