… In this paper, we have presented a tool to infer templates from spreadsheets. This tool is
an essential component of the ViTSL/Gencel architecture because it enables a smooth …

… In this paper we introduce a type system and a type inference algorithm for spreadsheets …
To infer the template for a given spreadsheet, we first partition columns into ≡η equivalence …

… could infer the unit of any value in a spreadsheet, with little or no work from the user? We
present a novel method for predicting units and dimensions in spreadsheets, … Our template and …

… reason about spreadsheet data and to infer … infer for a non-expert in this domain. In this
section we will informally describe a strategy to infer such a business logic from the spreadsheet …

… creating spreadsheets … spreadsheets, and show how the patterns occurring in a given sheet
can be generalised to produce a template structure representing the family of spreadsheets …

… The process of inferring models from existing spreadsheets has been proposed before.
Extracting templates from existing spreadsheets was described in [1]. That technique is based on …

… ) we can reorder the templates such that a template occurs after any template it depends on.
… For these spreadsheets, we used the original formulas when present and otherwise inferred …

… that underlies this spreadsheet is not immediately clear, and is quite difficult to infer for a
non-… infer such a business logic from the spreadsheet data. Objects that are contained in such a …

… However, our system is concerned with generating these elements from a template, while
UCheck is concerned with inferring some of these elements and checking their consistency [10]…

… column is used to infer the sparsity in the internal region and four edges of the candidate …
L Prompt Template In this section, we present the prompt templates for the Spreadsheet …