conftrace_

natural language satisfiability

1 paper

Explore in graph

Also known as

NLSAT

Co-occurring keywords · papers mentioning both

rule reasoning (1) logical theory (1) formal reasoning (1) transformer model (1) scale invariance (1) deductive reasoning (1) algorithmic reasoning (1) logical reasoning (1)

Papers

Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability AAAI 2022