Councilman, Aaron
- Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
2025/07/17 by Aaron Councilman, Councilman, Aaron, Zhenming Fu +11 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Programming Languages (cs.PL)
- Hercules: A Compiler for Productive Programming of Heterogeneous Systems
2025/03/13 by Russel Arbore, Arbore, Russel, Aaron Councilman +9 · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)