0

Tony Xia

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

Solving Inequality Proofs with Large Language Models

arXiv 2025

2025

TheoremQA: A Theorem-driven Question Answering dataset

arXiv 2023

2023

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Pan Lu

2 shared papers

Alex Gu

grad-student

1 shared paper

James Zou

1 shared paper

Jianyu Xu

1 shared paper

Jiayi Sheng

1 shared paper

Jikai Jin

1 shared paper

Luna Lyu

1 shared paper

Max Ku

grad-student

1 shared paper

Ming Yin

1 shared paper

Wenhu Chen

professor

1 shared paper