Dependent Types, Proof Development, Tactics, Mathematical Foundations
Issue 481
haskellweekly.newsยท8h
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท16h
Multiples and powers mod 1
johndcook.comยท6h
Historical highlights?
logicmatters.netยท2d
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.orgยท3d
How to actually use Model Context Protocol
seangoedecke.comยท20h
2011 N1 = 2024 A2
blog.evanchen.ccยท1d
Extensions and Shadows (6)
sites.psu.eduยท3d
Loading...Loading more...