Abstract: Program optimization is a key factor for green software. In the context of the Ethereum blockchain, optimization is particularly relevant because there is a fee to pay for each EVM (Ethereum ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results