42 citations · 42 across the 3 of their papers we have counts for
4 papers
Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization
Wei Zhao, Yangshuo Zou, Chengxiang Ding +5
We present FYAN, a human--AI harness for document-level mathematical formalization. Rather than treating theorems in isolation, FYAN coordinates an end-to-end workflow spanning spe…
What Really Controls Temporal Reasoning in Large Language Models: Tokenisation or Representation of Time?
Gagan Bhatia, Ahmad Muhammad Isa, Maxime Peyrard +1
We present MultiTempBench, a multilingual temporal reasoning benchmark spanning three tasks, date arithmetic, time zone conversion, and temporal relation extraction across five lan…
Automated Data Visualization from Natural Language via Large Language Models: An Exploratory Study
Yang Wu, Yao Wan, Hongyu Zhang +5
The Natural Language to Visualization (NL2Vis) task aims to transform natural-language descriptions into visual representations for a grounded table, enabling users to gain insight…
NL2Formula: Generating Spreadsheet Formulas from Natural Language Queries
Wei Zhao, Zhitao Hou, Siyuan Wu +6
Writing formulas on spreadsheets, such as Microsoft Excel and Google Sheets, is a widespread practice among users performing data analysis. However, crafting formulas on spreadshee…