Bethel Hall

Bethel Hall (ቤቴል ሆል)

Ph.D. Student, Computer Science
Stevens Institute of Technology

Hey! I am Bethel Hall, a Ph.D student at Stevens Institute of Technology. I am super grateful to be advised by Prof. William Eiers. My research focuses on improving the reliability and correctness of Large Language Models (LLMs) through neuro-symbolic methods. My work explores how formal verification techniques can enhance LLM correctness and provide guarantees about their behavior.

Email CV GitHub LinkedIn ORCID

Research Interests

• Neuro-symbolic AI and formal reasoning
• Large language models for software engineering
• Formal verification, program synthesis, and correctness guarantees

Publications

CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models

Bethel Hall, Owen Unagro, William Eiers

SANER 2026 (Research Track)

Code

Exploring Large Language Models for Access Control Policy Synthesis and Summarization

Adarsh Vatsa, Bethel Hall, William Eiers

Preprint

Code

Updates

✓ [Dec 2025] — Paper accepted to SANER 2026 (Research Track).
✓ [Aug 2021] — Selected as a Global UGRAD Scholar by the U.S. Department of State.
✓ [July 2020] — Awarded Palantir Global Impact Scholar by Palantir Technologies Inc.
✓ [May 2020] — Started working as a research intern at the University of Michigan, AURA 2020.