We stand with Ukraine  

Guoxiong Gao

According to our database1, Guoxiong Gao authored at least 2 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Herald: A Natural Language Annotated Lean 4 Dataset.
[BibTeX]
[DOI]
Guoxiong Gao
,
Yutong Wang
,
Jiedong Jiang
,
Qi Gao
,
Zihan Qin
,
Tianyi Xu
,
Bin Dong
CoRR, 2024

A Semantic Search Engine for Mathlib4.
[BibTeX]
[DOI]
Guoxiong Gao
,
Haocheng Ju
,
Jiedong Jiang
,
Zihan Qin
,
Bin Dong
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024


  Loading...