Logic, Model Theory, Compositional Meaning, Type Theory
The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com·15h
How I Built AI Agents That Actually Help Evaluate Private Companies
pub.towardsai.net·23h
Rethinking Evidence Hierarchies in Medical Language Benchmarks: A Critical Evaluation of HealthBench
arxiv.org·13h
Saying Goodbye
lesswrong.com·17h
Loading...Loading more...