Resolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·27m
The Future of AI Agent Communication with ACP
towardsdatascience.com·1d
Loading...Loading more...