Abstract: Based on the strong demand for independent control and the improvement of domestic databases, database localization has become an inevitable trend. In the process of migrating Oracle ...

Abstract: AI tools such as ChatGPT have become extensively integrated into software engineering today. Still, problems have remained regarding the quality and reliability of their answers. In this ...

Paper Overview Neural theorem provers work by sampling candidate proofs from a learned policy and checking them against a deterministic verifier (e.g., the Lean 4 type checker). Classically, finding a ...

Note: This project is more-or-less very experimental and does not have no-where near complete support for the Tiny BASIC language. I.e., it's tokenisation process is very basic and not suitable for ...