Bethel Hall

bethelhall's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper about 8 hours ago

VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims

Paper • 2608.10213 • Published 3 days ago

updated a bucket about 2 months ago

bethelhall/XBRL_Formula_Calculation-bucket

179 kB

published a bucket about 2 months ago

bethelhall/XBRL_Formula_Calculation-bucket

179 kB

authored a paper 2 months ago

Neurosymbolic Auditing of Natural-Language Software Requirements

Paper • 2605.13817 • Published May 13

authored 2 papers 8 months ago

Exploring Large Language Models for Access Control Policy Synthesis and Summarization

Paper • 2510.20692 • Published Oct 23, 2025

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

Paper • 2512.09957 • Published Dec 9, 2025