Yixin Cao

A study on generating meaningful follow-up questions to deepen understanding.

A new approach boosts language models' scientific reasoning through effective tool usage.

A method to keep AI models updated based on real-world events.

A look into circular-arc graphs and their significance in graph theory.

Explore how switching alters graph structures and their implications across various fields.

Explore key graph types and their properties in mathematics and computer science.

A new method improves language models by diagnosing knowledge deficiencies without labeled data.

Explore the concepts, properties, and transformations of circular-arc graphs.

A new method enables language models to correct their own mistakes in math.

A look into the relationships and characteristics of circular-arc and chordal graphs.

LogicPro enhances logical reasoning in AI using algorithm problems and coded examples.