conftrace_

boolean logic

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network (2) formal verification (2) logical reasoning (2) image classification (2) probabilistic boolean (1) low-precision arithmetic (1) specification inference (1) nonexistence certificate (1) nested logic (1) conjunctive semantics (1)

Papers

BOLD: Boolean Logic Deep Learning NeurIPS 2024 BoolQuestions: Does Dense Retrieval Understand Boolean Logic in Language? EMNLP 2024 Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form IJCAI 2024 Empower Nested Boolean Logic via Self-Supervised Curriculum Learning EMNLP 2023 Logical Activation Functions: Logit-space equivalents of Probabilistic Boolean Operators NeurIPS 2022 A SAT-based Resolution of Lam's Problem AAAI 2021 ConjNLI: Natural Language Inference Over Conjunctive Sentences EMNLP 2020 Inductive Quantum Embedding NeurIPS 2020 Learning Task Specifications from Demonstrations NeurIPS 2018