Papers by Siwei Lou

Copied to clipboard

Challenge:	Existing methods for hallucinate formal dependencies lack scalability and precision to leverage ever-growing public datasets.
Approach:	They propose a retrieval-augmented framework based on Direct Dependency Retrieval to generate formal dependencies from natural-language mathematical descriptions and verify their existence via an efficient Suffix Array Check (SAC).
Outcome:	The proposed framework outperforms state-of-the-art methods in retrieval precision and recall and can be used to validate formal representations in a public dataset.