2 papers
cs.DB2026
Data-aware candidate selection in NL2SQL translation via small separating instances
Stanislav Kikot, Alexander Shulgin, Yanwei Xu
We propose a data-aware candidate selection method for NL2SQL translation based on separating instances and provenance. We implement this approach and evaluate it against three nat…
cs.AI2026
Pipeline for Verifying LLM-Generated Mathematical Solutions
Varvara Sazonova, Dmitri Shmelkin, Stanislav Kikot +1
With the growing popularity of Large Reasoning Models and their results in solving mathematical problems, it becomes crucial to measure their capabilities. We introduce a pipeline…