Tractable Boolean and arithmetic circuits

[Free GPT-4]
[DeepSeek]
[PDF] arxiv.org

-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning

M Kang, B Li - ar** logic formulas to arithmetic
circuits (computation graphs consisting of sums and products) and passing the outputs of a …
Сохранить Цитировать Цитируется: 1 Похожие статьи Все версии статьи (2) В виде HTML
[Free GPT-4]
[DeepSeek]
[PDF] springer.com

Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis

S Akshay, S Chakraborty, S Jain - International Conference on Computer …, 2023 - Springer
Given a specification as a Boolean relation between inputs and outputs, Boolean functional
synthesis generates a function, called a Skolem function, for each output in terms of the …
Сохранить Цитировать Похожие статьи Все версии статьи (2)
[Free GPT-4]
[DeepSeek]
[PDF] acm.org

StarfishDB: A Query Execution Engine for Relational Probabilistic Programming

O Ben Amara, S Hadouaj, N Meneghetti - … of the ACM on Management of …, 2024 - dl.acm.org
We introduce StarfishDB, a query execution engine optimized for relational probabilistic
programming. Our engine adopts the model of Gamma Probabilistic Databases …
Сохранить Цитировать Похожие статьи Все версии статьи (2)