imandra.ai使用教程

访问imandra.ai官网，点击注册按钮，填写工作邮箱、所属行业等基础信息完成账号注册，若为企业用户可选择企业注册通道提交相关资质信息。

登录账号后进入控制台，根据自身使用需求选择对应功能模块，可先浏览平台提供的官方教程与示例项目，熟悉不同功能的适用场景与操作逻辑。

根据所选功能的引导提示，上传待验证的代码文件或者输入算法逻辑模型，设置对应的验证边界条件、参数范围、约束规则等配置信息。

提交任务后等待平台完成推理计算，过程中可在任务列表查看进度，任务完成后可查看详细的结果报告，了解存在的问题与相关分析内容。

根据报告给出的建议调整代码或算法逻辑，调整完成后可再次上传进行二次验证，验证通过后可导出相关报告用于后续评审或归档工作。