目前是研0，导师给的研究方向是形式化验证，但是自己去搜了搜相关资料发现相对于目前爆火的LLM等资料少的可怜😭 
所以想请教各位佬有什么学习建议或者路线分享吗！谢谢各位