Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·3h
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·3h
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·3h
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·1d
Loading...Loading more...