corpus.blog
41554 blogs · 4,644,446 posts Claim your blog
Record · corpus.blog/posts/01a08c62-a37f-7090-883e-52098341e129

Verified Transpilation with Claude

will62794.github.io · published 20 January 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at will62794.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
18
Words captured
3,276

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/tlaplus/tlaplus
github.com
https://link.springer.com/chapter/10.1007/3-540-48153-2_6
link.springer.com
https://conf.tlapl.us/2018/kuppe.pdf
conf.tlapl.us
https://spinroot.com/spin/whatispin.html
spinroot.com
https://arxiv.org/abs/2406.03003
arxiv.org
https://code.claude.com/docs/en/skills
code.claude.com
https://github.com/will62794/model-compiler
github.com
https://github.com/will62794/model-compiler/blob/main/.claude/commands/compile_tla.md
github.com
https://github.com/will62794/model-compiler/blob/main/TwoPhase/TwoPhase.tla
github.com
https://github.com/will62794/model-compiler/blob/60c3c076f34d0a2984143205096b952d657c66eb/TwoPhase/saved_outputs/TwoPhase.cpp
github.com
https://github.com/will62794/model-compiler/blob/81be9fb8c91e87cb354c4982e0ea915c0c59ef4f/TwoPhase/saved_outputs/validate.py
github.com
https://github.com/will62794/model-compiler/blob/main/AbstractDynamicRaft/AbstractDynamicRaft.tla
github.com
https://github.com/will62794/model-compiler/blob/81be9fb8c91e87cb354c4982e0ea915c0c59ef4f/AbstractDynamicRaft/saved_outputs/AbstractDynamicRaft.cpp
github.com
https://github.com/will62794/model-compiler/blob/main/Bakery/Bakery.tla
github.com
https://www.geoffreylitt.com/2023/03/25/llm-end-user-programming.html
geoffreylitt.com
https://lemmster.de/talks/MSc_MarkusAKuppe_1497363471.pdf
lemmster.de
https://arxiv.org/abs/2501.07278
arxiv.org
https://research.google/blog/accelerating-scientific-breakthroughs-with-an-ai-co-scientist/
research.google