search

open-thought / system-2-research

System 2 Reasoning Link Collection
Apache License 2.0
603 stars 51 forks source link

Update README.md #33

Closed vernontoh closed 1 week ago

vernontoh commented 1 week ago

Include a paper on neuro-symbolic approaches for automatic verification and type checking in mathematical problem-solving.

andreaskoepf commented 1 week ago

Interesting experiment. I could imagine that the Counter() ctors make program generation a bit harder (since probabaly most of the code in the pre-training datasets is dealing with simpler variables). Thank for sharing code!