Jan Corazza
YOU?
Author Swipe
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs Open
When blockchain systems are said to be trustless, what this really means is that all the trust is put into software. Thus, there are strong incentives to ensure blockchain software is correct -- vulnerabilities here cost millions and break…
Reinforcement Learning with Stochastic Reward Machines Open
Reward machines are an established tool for dealing with reinforcement learning problems in which rewards are sparse and depend on complex sequences of actions. However, existing algorithms for learning reward machines assume an overly ide…