Clues on the new model to come across Logicalism and Connectionism to landing on Behaviorism

[NirViaje]

Discovering Symbolic Models from Deep Learning with Inductive Biases

• https://astroautomata.com/paper/symbolic-neural-nets/
• https://github.com/MilesCranmer/symbolic_deep_learning
• https://zhuanlan.zhihu.com/p/152201934

NLP -> math solution

Analysing Mathematical Reasoning Abilities of Neural Models

• https://arxiv.org/pdf/1904.01557.pdf
• http://www.engineering.org.cn/ch/10.1016/j.eng.2019.08.009
• 神经网络也能解数学题，DeepMind发布千万数学题海数据集
• https://zhuanlan.zhihu.com/p/102257127
• https://github.com/deepmind/mathematics_dataset

Might be hard

• 让人工智能解数学题，可能没你想象的那么简单, MSRA, 2017

Symbolic -> Symbolic

seq2seq, NMT, with Symbolic math

• https://ai.facebook.com/blog/using-neural-networks-to-solve-advanced-mathematics-equations
  • https://arxiv.org/pdf/1912.01412.pdf
  • https://openreview.net/forum?id=S1eZYeHFDS
  • https://zhuanlan.zhihu.com/p/98174049

Natural input

Hod Lipson

• Distilling Free-Form Natural Laws from Experimental Data
  • COMMENT

[NirViaje]

经验要反映在模型上