• 2024-12-23基于模型检测的处理器端到端验证方法
• 2024-12-02增强代码智能：MarsCode Agent的进展与应用
• 2024-12-02A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
• 2024-11-22Towards Safe AI for Cyber-Physical Systems
• 2024-11-21最优化模理论及其程序分析应用
• 2024-11-20Formal Verification of eBPF interpreter and Just-In-Time compiler
• 2024-11-12Automated Auditing of Blockchain Smart Contracts Using Large Language Models
• 2024-09-15Proof of Proof offers Universal Verifiable Computing by Correct-by-Construction ZKP Generation for All Programming Languages
• 2023-12-22AIA：AI辅助算法设计的若干尝试
• 2023-12-20知识图谱的关键技术
• 2023-12-01An FPRAS for two terminal reliability in directed acyclic graphs
• 2023-11-01概率递归关系尾概率的自动化分析
• 2023-10-202nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”
• 2023-10-201st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”
• 2023-10-10TrustInSoft Analyzer: a formal methods-based software for industry