4 papers
Action-Driven Processes for Continuous-Time Control
Ruimin He, Shaowei Lin
At the heart of reinforcement learning are actions -- decisions made in response to observations of the environment. Actions are equally fundamental in the modeling of stochastic p…
A benchmark for vericoding: formally verified program synthesis
Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin +10
We present and test the largest benchmark for vericoding, LLM-generation of formally verified code from formal specifications - in contrast to vibe coding, which generates potentia…
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs
Jin Xing Lim, Barnabé Monnot, Shaowei Lin +1
Formalization of mathematics is the process of digitizing mathematical knowledge, which allows for formal proof verification as well as efficient semantic searches. Given the large…
Dependently Typed Knowledge Graphs
Zhangsheng Lai, Aik Beng Ng, Liang Ze Wong +2
Reasoning over knowledge graphs is traditionally built upon a hierarchy of languages in the Semantic Web Stack. Starting from the Resource Description Framework (RDF) for knowledge…