BusyBrain⌨
banner
w42.bsky.social
BusyBrain⌨
@w42.bsky.social
Interested in how machine can speak human language and automated theorem proving
this is intuitive, finally someone made it

journals.plos.org/ploscompbiol...
November 24, 2024 at 5:47 AM