0

Qing Yi

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

TMAS: Scaling Test-Time Compute via Multi-Agent Synergy

arXiv 2026

2026

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Bryan Dai

1 shared paper

Chuan Hao

1 shared paper

Feng Chang

1 shared paper

George Wu

1 shared paper

Jian Yang

1 shared paper

Madhurima Chakraborty

1 shared paper

Ming Yang

1 shared paper

Nan Jing

1 shared paper

Peter Pirkelbauer

1 shared paper

Ran Tao

1 shared paper