Eiers, William

1. Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
   2025/04/23 by Rao, Balaji, Eiers, William, Lipizzi, Carlo · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
2. Synthesizing Access Control Policies using Large Language Models
   2025/03/14 by Vatsa, Adarsh, Patel, Pratyush, Eiers, William · 3 citations
   #68P25 #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)