Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
2011 N1 = 2024 A2
blog.evanchen.cc·11h
The Future of AI Agent Communication with ACP
towardsdatascience.com·1d
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1h
Unpacking Claude’s System Prompt
oreilly.com·1d
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·1d
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·1d
Loading...Loading more...