activity
20212026
most citedDifferentiable Logic Machines

9 citations · 10 across the 7 of their papers we have counts for

collaborators

9 papers

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.SE2026

EngramBench: A Capability-Grounded Benchmark for Skill-Evolution Harnesses

Zhixuan Tan, Pengjie Gu, Zhao Li +4

While large language models have achieved remarkable success in isolated code generation, authentic software engineering requires sustained reasoning, complex state management, and…

cs.CL2026

Unveiling the Entropy Dynamics of Chain-of-Thought Reasoning

Ting Xu, Xu He, Yupu Lu +4

This paper investigates the entropy dynamics of Chain-of-Thought (CoT) and uncovers a consistent two-phase structure: an Uncertainty Region of exploration transitioning sharply to…

cs.LG2026

Ratio-Variance Regularized Policy Optimization

Yu Luo, Shuo Han, Yihan Hu +5

Standard on-policy reinforcement learning relies on heuristic clipping to enforce trust regions, but this mechanism imposes a severe cost by indiscriminately truncating high-return…

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.LG2026

Ratio-Variance Regularized Policy Optimization for Efficient LLM Fine-tuning

Yu Luo, Shuo Han, Yihan Hu +2

On-policy reinforcement learning (RL), particularly Proximal Policy Optimization (PPO) and Group Relative Policy Optimization (GRPO), has become the dominant paradigm for fine-tuni…

cs.CV2024

iVideoGPT: Interactive VideoGPTs are Scalable World Models

Jialong Wu, Shaofeng Yin, Ningya Feng +4

World models empower model-based agents to interactively explore, reason, and plan within imagined environments for real-world decision-making. However, the high demand for interac…

cs.LG2024★ 1 cited

Reinforced In-Context Black-Box Optimization

Lei Song, Chenxiao Gao, Ke Xue +5

Black-Box Optimization (BBO) has found successful applications in many fields of science and engineering. Recently, there has been a growing interest in meta-learning particular co…

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…