Dustin Bryant

According to our database, Dustin Bryant authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

Munkres' General Topology Autoformalized in Isabelle/HOL.

Dustin Bryant, Jonathan Julián Huerta y Munive, Cezary Kaliszyk, Josef Urban

CoRR, April, 2026

2025

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem.

Dustin Bryant, Jim Woodcock, Simon Foster

CoRR, December, 2025

Verifying Numerical Methods with Isabelle/HOL.

Dustin Bryant, Jonathan Julián Huerta y Munive, Simon Foster

CoRR, November, 2025

The Sigmoid Function and the Universal Approximation Theorem.

Dustin Bryant, Jim Woodcock, Simon Foster

Arch. Formal Proofs, 2025

Unconstrained Optimization.

Dustin Bryant

Arch. Formal Proofs, 2025

2024

The Elementary Theory of the Category of Sets.

James Baxter, Dustin Bryant

Arch. Formal Proofs, 2024