Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.
Jin Peng ZhouCharles StaatsWenda LiChristian SzegedyKilian Q. WeinbergerYuhuai WuPublished in: ICLR (2024)
Keyphrases
- knowledge base
- trust model
- qualitative and quantitative
- knowledge representation
- qualitative models
- automated reasoning
- reasoning systems
- model based reasoning
- quantitative and qualitative
- information systems
- information technology
- spatial reasoning
- qualitative reasoning
- knowledge representation and reasoning
- analogical reasoning
- reasoning mechanisms