9 citations · 10 across the 7 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
From Memory to Guide: Spatio-Temporal Composer for Procedural Coding Memory
Zhixuan Tan, Pengjie Gu, Zhao Li +4
Memory-augmented agents typically integrate procedural knowledge by injecting retrieved skills directly into text prompts. This approach dangerously equates readable text with reli…
cs.AI2026
: Unlocking LLM Reasoning via Reinforcement Learning with Re-solving
Pinzheng Wang, Shuli Xu, Juntao Li +4
Reinforcement learning with verifiable rewards (RLVR) has shown promise in enhancing the reasoning performance of large language models (LLMs) by increasing test-time compute. Howe…
cs.AI2021★ 9 cited
Differentiable Logic Machines
Matthieu Zimmer, Xuening Feng, Claire Glanois +6
The integration of reasoning, learning, and decision-making is key to build more general artificial intelligence systems. As a step in this direction, we propose a novel neural-log…