Building a Rules Engine from First Principles
towardsdatascience.comยท10h
๐Combinatory Logic
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.orgยท18m
๐ปProgramming languages
Flag this post
Nonmonotonic Logic
๐Linear Logic
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท17h
๐ปProgramming languages
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
๐บ๏ธCompetency Maps
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18m
๐งฎAlgebraic Archives
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.orgยท3d
๐งฎTheoretical Computer Science
Flag this post
Unit-free theorem pinpoints key variables for AI and physics models
phys.orgยท1d
๐Quantization
Flag this post
Show HN: Hot or Slop โ Visual Turing test on how well humans detect AI images
๐Learned Metrics
Flag this post
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
arxiv.orgยท18m
๐งฎSMT Solvers
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
Issue 496
haskellweekly.newsยท16h
๐Functional Compilers
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Loading...Loading more...