Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
MISP Releases v2.5.16 & v2.4.214 - A Major Leap in Performance and Stability
misp-project.org·14h
Brain Busting Apple Interview Puzzle Paths On Grid
mindyourdecisions.com·2d
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·2d
Loading...Loading more...