activity
20242026
most citedMACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

3 citations · 3 across the 14 of their papers we have counts for

collaborators
Showing cs.AIShow all

7 papers · 1 filter

cs.AI2026

2d-fet-bench: from spatial reasoning to fet design on flakes

Dunzhi Zhou, Chengyu Zhu, Gang Qiu +1

Field-effect transistor (FET) layouts on exfoliated two-dimensional flakes are typically drawn by hand for each flake, placing contacts and gates to match its position and outline…

cs.AI2026

Fork Where the Model Changes Its Mind: Belief-Shift Branching for Tree-Structured Reinforcement Learning

Bin Lei, Yu Li, Prafulla Kumar Choubey +7

Tree-structured rollouts give critic-free reinforcement learning with verifiable rewards (RLVR) step-level credit: fork a chain at an intermediate point, and sibling outcome differ…

cs.AI2026

QFoldAgent: An Autonomous Quantum Optimization Multi-Agent System for Protein Structure Prediction

Winson Chen, Yuqi Zhang, Sixu Chen +3

Hybrid quantum-classical protein structure prediction depends strongly on Hamiltonian penalty weights, yet existing lattice-based workflows typically fix these coefficients by hand…

cs.AI2026

Stateful Reasoning via Insight Replay

Bin Lei, Caiwen Ding, Jiachen Yang +2

Chain-of-Thought (CoT) reasoning has become a foundation for eliciting multi-step reasoning in large language models, but recent studies show that its benefits do not scale monoton…

cs.AI2025

GuirlVG: Incentivize GUI Visual Grounding via Empirical Exploration on Reinforcement Learning

Weitai Kang, Bin Lei, Gaowen Liu +2

Graphical user interface visual grounding (GUI-VG), a core capability for GUI agents, has primarily relied on supervised fine-tuning (SFT) of multimodal large language models (MLLM…

cs.AI2025

InfantAgent-Next: A Multimodal Generalist Agent for Automated Computer Interaction

Bin Lei, Weitai Kang, Zijian Zhang +8

This paper introduces \textsc{InfantAgent-Next}, a generalist agent capable of interacting with computers in a multimodal manner, encompassing text, images, audio, and video. Unlik…

cs.AI2024★ 3 cited

MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

Bin Lei, Yi Zhang, Shan Zuo +2

Recent advancements in large language models, such as GPT-4, have demonstrated remarkable capabilities in processing standard queries. Despite these advancements, their performance…