A Logic for Expressing Log-Precision Transformers.
William MerrillAshish SabharwalPublished 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