LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback.
Bofei GaoZefan CaiRunxin XuPeiyi WangCe ZhengRunji LinKeming LuJunyang LinChang ZhouWen XiaoJunjie HuTianyu LiuBaobao ChangPublished in: CoRR (2024)
Keyphrases
- natural language
- mathematical knowledge
- computer algebra systems
- computer algebra
- semantic interpretation
- language processing
- semantic analysis
- theorem prover
- computer science
- knowledge representation
- mathematical concepts
- natural language interface
- information extraction
- natural language generation
- relevance feedback
- semantic representation
- data sets
- test cases
- dialogue system
- source code
- natural language text
- real time
- feedback mechanisms
- user feedback
- middle school mathematics
- teaching mathematics
- machine translation