📌 📄 内容摘要:
东山 崔 (@user1418) 在 请教各位佬一个问题 中发帖
目前是研0，导师给的研究方向是形式化验证，但是自己去搜了搜相关资料发现相对于目前爆火的LLM等资料少的可怜😭
所以想请教各位佬有什么学习建议或者路线分享吗！谢谢各位
────────── 链接信息 ──────────
🔗 论坛链接: linux.do
📎 访问地址: https://linux.do/t/topic/692272/1
─────────────────────────────
📢 来源：LINUX DO
