Resolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
A very short book note
logicmatters.net·2d
Coping with Complexity
slott56.github.io·1d
I'm writing a book!
laplab.me·21h
AIs that break down questions reason better
gael-varoquaux.info·2d
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·11h
Loading...Loading more...