论文提出模拟伊斯兰教法裁决的计算框架
热点事件持续更新
论文提出模拟伊斯兰教法裁决的计算框架
2 篇报道2 个报道来源首报4 小时前更新
先了解这件事
AI 综述
Elnaserledinellah Mahmoud Abdelwahab 在 arXiv 发表论文，提出名为 Al-Ghasali 的计算框架，用于形式化并模拟伊斯兰教法（Fiqh）裁决。论文称，封闭教法章节的语义可完全归约为确定性有限状态自动机（FSA），离线编译后，裁决提取为 O(1) 常数时间。 该框架用确定性 FSA 严格控制大语言模型生成可读的教法摘要，并采用语法引导的约束解码机制。论文称已在数学上证明，这一设计可杜绝决策幻觉、教法事实幻觉与语义反转。上述效果均为论文作者的论证，尚待外部验证。
AI 根据报道生成 · 31 分钟前更新
最新进展11月13日 13:00
Al-Ghasali：用有限状态自动机与大语言模型模拟伊斯兰教法裁决的计算框架报道时间线
沿着报道，了解事件的不同侧面。
11月13日
- arXiv · cs.AI 人工智能Al-Ghasali：用有限状态自动机与大语言模型模拟伊斯兰教法裁决的计算框架
论文提出 Al-Ghasali 计算框架，证明封闭教法章节的语义可完全归约为确定性有限状态自动机（FSA），离线编译后裁决提取为 O(1) 常数时间。框架让确定性 FSA 严格控制 LLM 生成可读裁决摘要，并采用语法引导的约束解码机制，数学上证明可杜绝决策幻觉、教法事实幻觉与语义反转。
- Papers with Code · arXiv cs.AIAl-Ghasali：用有限状态自动机与大语言模型模拟伊斯兰教法裁决的计算框架
论文提出 Al-Ghasali 框架，证明封闭教法章节的语义可完全归约为确定性有限状态自动机（FSA），离线编译后裁决提取为 O(1) 常数时间。该框架用确定性 FSA 严格控制 LLM 生成可读教法摘要，并采用语法引导的约束解码机制，数学上证明可杜绝决策幻觉、教法事实幻觉与语义反转。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。