| 347 | -- | 348 | Alex Kontorovich. Foreword to: Special Issue on Interactive Theorem Provers |
| 349 | -- | 354 | Peter Scholze. Liquid Tensor Experiment |
| 355 | -- | 363 | Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison. Schemes in Lean |
| 364 | -- | 382 | Anthony Bordg, Lawrence C. Paulson, Wenda Li. Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types |
| 383 | -- | 400 | Mirna Dzamonja, Angeliki Koutsoukou Argyraki, Lawrence C. Paulson. Formalizing Ordinal Partition Relations Using Isabelle/HOL |
| 401 | -- | 412 | Angeliki Koutsoukou Argyraki, Wenda Li, Lawrence C. Paulson. Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL |
| 413 | -- | 424 | Thomas Browning, Patrick Lutz. Formalizing Galois Theory |
| 425 | -- | 443 | Martino Garonzi, Luise-Charlotte Kappe, Eric Swartz. On Integers that are Covering Numbers of Groups |
| 444 | -- | 455 | Sam Tertooy. The Reidemeister Spectra of Low Dimensional Almost-Crystallographic Groups |
| 456 | -- | 460 | Philipp Birklbauer. The Fuglede Conjecture Holds in |
| 461 | -- | 473 | Francisco Criado, Francisco Santos. Topological Prismatoids and Small Simplicial Spheres of Large Diameter |
| 474 | -- | 485 | Dustin G. Mixon, Hans Parshall. The Optimal Packing of Eight Points in the Real Projective Plane |
| 486 | -- | 496 | Oleg Ogievetsky, Senya B. Shlosman. 6 |
| 497 | -- | 505 | Michael Gekhtman, Tomoki Nakanishi. Asymptotic Sign Coherence Conjecture |
| 506 | -- | 517 | Ethan Cotterill, Cristhian Garay-López. Real Inflection Points of Real Linear Series on an Elliptic Curve |
| 518 | -- | 536 | Harris B. Daniels, Enrique González-Jiménez. Serre's Constant of Elliptic Curves Over the Rationals |
| 537 | -- | 551 | Esamaldeen Mohamed, Gerald Williams. An Investigation Into the Cyclically Presented Groups with Length Three Positive Relators |
| 552 | -- | 582 | Harrison Chapman, Andrew Rechnitzer. A Markov Chain Sampler for Plane Curves |
| 583 | -- | 595 | David Cushing, Riikka Kangaslampi, Valtteri Lipiäinen, Shiping Liu, George W. Stagg. The Graph Curvature Calculator and the Curvatures of Cubic Graphs |
| 596 | -- | 605 | Carl Pomerance, Simon Rubinstein-Salzedo. Cyclotomic Coincidences |
| 606 | -- | 610 | Mircea Merca. On Two Truncated Quintuple Series Theorems |
| 611 | -- | 620 | Rüdiger Achilles, Mirella Manaresi. Generalized Samuel Multiplicities of Monomial Ideals and Volumes |
| 621 | -- | 636 | Erwan Lanneau, Martin Möller. Non-Existence and Finiteness Results for Teichmüller Curves in Prym Loci |
| 637 | -- | 651 | Andrea Bandini, Maria Valentino. On the Structure and Slopes of Drinfeld Cusp Forms |
| 652 | -- | 660 | Sophie Morier-Genoud, Valentin Ovsienko. q-Deformed Real Numbers |
| 661 | -- | 668 | Richard Evan Schwartz. Four Lines and a Rectangle |
| 669 | -- | 675 | Aleksandra Kostic, Nela Milosevic, Zoran Z. Petrovic. Note on the Cyclotomic Polynomial Topologically |
| 676 | -- | 688 | Sofiane Bouarroudj, Dimitry Leites, Jin Shang. Computer-Aided Study of Double Extensions of Restricted Lie Superalgebras Preserving the Nondegenerate Closed 2-Forms in Characteristic 2 |
| 689 | -- | 693 | Quinn Greicius, Aaron Landesman. An Explicit Abelian Surface with Maximal Galois Action |
| 694 | -- | 700 | Kevin G. Hare, Philip W. Hodges. Applications of Integer Semi-Infinite Programing to the Integer Chebyshev Problem |