会员服务
Streaming Knowledge Compilation: Proactive Materiality-Scored Pinning for Time-Evolving LLM Wikis
Arxiv
0+阅读 · 6月3日
On Knowledge Compilation For Two-Variable First-Order Logic
Arxiv
0+阅读 · 5月12日
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries
Arxiv
0+阅读 · 5月24日
Knowledge Compilation for Quantification in Alternating Automata
Arxiv
0+阅读 · 5月3日
Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
Arxiv
0+阅读 · 2月12日
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
Arxiv
0+阅读 · 1月7日
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
Arxiv
0+阅读 · 2023年3月30日
参考链接
微信扫码咨询专知VIP会员
Top