Meng, Xingyu

1. Unlocking Hardware Security Assurance: The Potential of LLMs
   2023/08/21 by Meng, Xingyu, Srivastava, Amisha, Arunachalam, Ayush +5 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
2. OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis
   2024/11/14 by Liwei Ni, Ni, Liwei, Rui Wang +23 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Semantic Web and Ontologies