MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.
Zayne SpragueXi YeKaj BostromSwarat ChaudhuriGreg DurrettPublished in: ICLR (2024)
Keyphrases
- reasoning systems
- test cases
- knowledge base
- automated reasoning
- knowledge representation
- neural network
- resource bounded
- knowledge representation and reasoning
- reasoning process
- qualitative reasoning
- logic programming
- default reasoning
- knowledge acquisition
- software engineering
- reasoning tasks
- domain knowledge
- logical framework
- fuzzy reasoning
- case study
- social networks
- model based reasoning
- real time
- reasoning processes
- logical reasoning