Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
Webmentions but manual (for Jekyll)
joelchrono.xyz·1d
Some Dumb AI Ideas
4gravitons.com·2d
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·2d
KnowDR-REC: A Benchmark for Referring Expression Comprehension with Real-World Knowledge
arxiv.org·3d
Curious Beginner's Guide to AI Evaluations
creatoreconomy.so·4d
Loading...Loading more...