Building a Rules Engine from First Principles
towardsdatascience.comยท23h
๐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ยท12h
๐ปProgramming languages
Flag this post
Nonmonotonic Logic
๐Linear Logic
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐ปProgramming languages
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
๐บ๏ธCompetency Maps
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท16h
๐Decompilation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท12h
๐งฎAlgebraic Archives
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.orgยท3d
๐งฎTheoretical Computer Science
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.orgยท6h
โ๏ธQuantum Storage
Flag this post
Horn Clauses
youtube.comยท32m
๐Isabelle/HOL
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.orgยท12h
๐ง Machine Learning
Flag this post
Loading...Loading more...