Papers with Code · arXiv cs.AI· Elnaserledinellah Mahmoud Abdelwahab·· 15 小时前AI 评分31
Al-Ghasali：用有限状态自动机与大语言模型模拟伊斯兰教法裁决的计算框架
Al-Ghasali: A Computational Framework for Simulating Islamic Jurisprudential Rulings via Finite State Automata and Large Language Models
AI 导读
论文提出 Al-Ghasali 框架，证明封闭教法章节的语义可完全归约为确定性有限状态自动机（FSA），离线编译后裁决提取为 O(1) 常数时间。该框架用确定性 FSA 严格控制 LLM 生成可读教法摘要，并采用语法引导的约束解码机制，数学上证明可杜绝决策幻觉、教法事实幻觉与语义反转。
来源：Papers with Code · arXiv cs.AI · papers.cool