Modularity

Tactics-driven vericoding

Project Overview

A talk I gave in May 2025 about double operadic theory of systems (DOTS) view of refinement-based tactics-driven vericoding (verified coding).

• https://shaoweilin.github.io/posts/2025-05-30-refine-yourself-a-code-for-great-good/

Towards a double operadic theory of systems (2025) - Sophie Libkind, David Jaz Myers

• https://arxiv.org/abs/2505.18329