Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
The most powerful supercomputer in Central Asia launches in kazakhstanin bid for AI boost
euronews.com·1d
Numerical problem with an interest calculation
johndcook.com·7h
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·3d
Loading...Loading more...