Publisher
Springer International Publishing
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
2. ACL2 Support for Floating-Point Computations;Lecture Notes in Computer Science;2024
3. Verification of a Rust Implementation of Knuth's Dancing Links using ACL2;Electronic Proceedings in Theoretical Computer Science;2023-11-14
4. Cyber-Assurance;Adaptive Security and Cyber Assurance for Risk-Based Decision Making;2023-06-30
5. A Comparative Analysis of Half Precision Floating Point Representations in MACs for Deep Learning;2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME);2022-11-16