Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.
Jin Peng ZhouCharles StaatsWenda LiChristian SzegedyKilian Q. WeinbergerYuhuai WuPublished in: CoRR (2024)
Keyphrases
- trust model
- trust evaluation
- knowledge representation
- quantitative and qualitative
- reasoning process
- knowledge base
- qualitative and quantitative
- model based reasoning
- spatial reasoning
- reasoning systems
- information systems
- automated reasoning
- meta level
- reasoning tasks
- legal reasoning
- qualitative models
- virtual teams
- machine learning