Tristan Stérin

14 papers B 2Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP.
CoRR
Guillaume Baudart, Marc Lelarge, Tristan Stérin, Jules Viennot
2025 J jnl
Determination of the fifth Busy Beaver value.
CoRR
The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Georgiev, Matthew L. House, Rachel Hunter, Iijil, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, mxdys, Mateusz Nasciszewski, savask, Tristan Stérin, Chris Xu, Jason Yuen, Théo Zimmermann
2025 J jnl
Turing machines deciders, part I.
CoRR
The bbchallenge Collaboration, Justin Blanchard, Konrad Deka, Nathan Fenner, Tony Guilfoyle, Iijil, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, Pascal Michel, Mateusz Nasciszewski, Tristan Stérin
2024 — conf
Hardness of Busy Beaver Value BB(15).
RP
Tristan Stérin, Damien Woods
2021 J jnl
On the hardness of knowing busy beaver values BB(15) and BB(5, 4).
CoRR
Tristan Stérin, Damien Woods
2021 B conf
Small Tile Sets That Compute While Solving Mazes.
DNA
Matthew Cook, Tristan Stérin, Damien Woods
2021 J jnl
Small tile sets that compute while solving mazes.
CoRR
Matthew Cook, Tristan Stérin, Damien Woods
2020 — conf
Binary Expression of Ancestors in the Collatz Graph.
RP
Tristan Stérin
2020 J jnl
Limitations on counting in Boolean circuits and self-assembly.
CoRR
Tristan Stérin, Damien Woods
2020 — conf
The Collatz Process Embeds a Base Conversion Algorithm.
RP
Tristan Stérin, Damien Woods
2020 J jnl
The Collatz process embeds a base conversion algorithm.
CoRR
Tristan Stérin, Damien Woods
2020 B conf
scadnano: A Browser-Based, Scriptable Tool for Designing DNA Nanostructures.
DNA
David Doty, Benjamin L. Lee, Tristan Stérin
2020 J jnl
scadnano: A browser-based, easily scriptable tool for designing DNA nanostructures.
CoRR
David Doty, Benjamin L. Lee, Tristan Stérin
2019 J jnl
First Occurrence of Parity Vectors and the Regular Structure of k-Span Predecessor Sets in the Collatz Graph.
CoRR
Tristan Stérin