link
Publish Date
Number
reflection
abstract
打造了一个corpus包含了一节逻辑deduction完备的公理系统进行fine tune，发现有一定的reasoning improvement。并且强调了formula的复杂和干扰事实的增加能有助于提升；但depth和transfer到realistic setting依然难以解决。
Status
Done
Type
improving
Author
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logicb
Words≈0 | Read Time ≈ 0 min
- Valine