Dependent Types, Proof Development, Tactics, Mathematical Foundations
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgยท7h
Historical highlights?
logicmatters.netยท2d
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.orgยท2d
How to actually use Model Context Protocol
seangoedecke.comยท11h
2011 N1 = 2024 A2
blog.evanchen.ccยท18h
Extensions and Shadows (6)
sites.psu.eduยท2d
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.comยท4h
Cactus Language โข Stylistics 4
inquiryintoinquiry.comยท1d
A Poet Completes the Square
denisegaskins.comยท22h
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.comยท1d
Loading...Loading more...