A Logic for Expressing Log-Precision Transformers.

William Merrill Ashish Sabharwal

Published in: NeurIPS (2023)

Keyphrases

logic programming
modal logic
high precision
multi valued
precision and recall
databases

high recall
automated reasoning
knowledge representation
decision trees
information systems

artificial intelligence
learning algorithm
information retrieval
digital circuits
real time

predicate logic
formal theory
asynchronous circuits
linear logic
delay insensitive