Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers.

Andy Yang David Chiang

Published in: CoRR (2024)

Keyphrases

temporal information
linear temporal logic
spatial and temporal
temporal data
temporal databases
automated reasoning
database
expert systems
temporal reasoning
temporal constraints
temporal patterns
asynchronous circuits
partial discharge