Analysis of Automated Theorem Proving through Abstraction of Logical Expressions
Published in National Conference on Undergraduate Research (NCUR), 2025
Published in National Conference on Undergraduate Research (NCUR), 2025
Published in 2025 IEEE International Symposium on Networks, Computers and Communications (ISNCC), 2025