Tristan Stérin

According to our database, Tristan Stérin authored at least 13 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP.

Guillaume Baudart, Marc Lelarge, Tristan Stérin, Jules Viennot

CoRR, March, 2026

Determination of the Fifth Busy Beaver Value.

Justin Blanchard, Daniel Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Georgiev (Skelet), Matthew L. House, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, mxdys, Mateusz Nasciszewski, Tristan Stérin, Chris Xu, Jason Yuen, Théo Zimmermann

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

2025

Determination of the fifth Busy Beaver value.

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

CoRR, September, 2025

Turing machines deciders, part I.

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

CoRR, April, 2025

2024

Hardness of Busy Beaver Value BB(15).

Tristan Stérin, Damien Woods

Proceedings of the Reachability Problems - 18th International Conference, 2024

2021

On the hardness of knowing busy beaver values BB(15) and BB(5, 4).

Tristan Stérin, Damien Woods

CoRR, 2021

Small Tile Sets That Compute While Solving Mazes.

Matthew Cook, Tristan Stérin, Damien Woods

Proceedings of the 27th International Conference on DNA Computing and Molecular Programming, 2021

2020

Limitations on counting in Boolean circuits and self-assembly.

Tristan Stérin, Damien Woods

CoRR, 2020

scadnano: A browser-based, easily scriptable tool for designing DNA nanostructures.

David Doty, Benjamin L. Lee, Tristan Stérin

CoRR, 2020

The Collatz Process Embeds a Base Conversion Algorithm.

Tristan Stérin, Damien Woods

Proceedings of the Reachability Problems - 14th International Conference, 2020

Binary Expression of Ancestors in the Collatz Graph.

Tristan Stérin

Proceedings of the Reachability Problems - 14th International Conference, 2020

scadnano: A Browser-Based, Scriptable Tool for Designing DNA Nanostructures.

David Doty, Benjamin L. Lee, Tristan Stérin

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

2019

First Occurrence of Parity Vectors and the Regular Structure of k-Span Predecessor Sets in the Collatz Graph.

Tristan Stérin

CoRR, 2019