498 citations · 567 across the 15 of their papers we have counts for
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Jing Xiong, Jianhao Shen, Ye Yuan +11
Automated theorem proving (ATP) has become an appealing domain for exploring the reasoning ability of the recent successful generative language models. However, current ATP benchma…
cs.CL2022★ 1 cited
Semantic Enhanced Text-to-SQL Parsing via Iteratively Learning Schema Linking Graph
Aiwei Liu, Xuming Hu, Li Lin +1
The generalizability to new databases is of vital importance to Text-to-SQL systems which aim to parse human utterances into SQL statements. Existing works achieve this goal by lev…