Imagen de Portada

erdos-ant-verification: An Executable Reproduction Artifact for Equation (2.2) of the Erdős Unit-Distance Disproof Remarks Paper

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	Yun, Kwansub, Flamehaven Initiative
Formato:	Recurso digital
Publicado:	Zenodo 2026
Materias:	erdos-unit-distance algebraic-number-theory golod-shafarevich class-field-tower discrete-geometry combinatorics reproducibility executable-verification mathematical-verification mpmath openai-research sawin-construction
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
por: Yun, Kwansub, et al.
Publicado: (2026)

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
por: Flamehaven Labs
Publicado: (2026)

Computer Aided Verification of Relational Models by Strategic Rewriting
por: Claudia M. Necco
Publicado: (2017)

Advances in Combinatorics
Publicado: (2021)

Commit-Gated Execution for Regulated Artificial Intelligence
por: Pinnock, Lee
Publicado: (2026)

A Timestamped Priority Note on Thermodynamic Verification Budgets and Mutual-Information Geometry in Relational Physics
por: Panasenko, Alexander
Publicado: (2026)

SAFIRL: Shielded RL with CBF/MPC on Franka-MuJoCo (v0.1.1)
por: Ozoglu, Nihan
Publicado: (2025)

Ars Mathematica Contemporanea
Publicado: (2025)

Jurnal Diferensial
Publicado: (2025)

Discrete Mathematics Letters
Publicado: (2019)

Enumerative Combinatorics and Applications
Publicado: (2021)

Reproducible Replication of the Canonical Bicycle Self-Stability (Meijaard 2007)
por: Peter, Bradley
Publicado: (2025)

Selfie Verification: A Comprehensive Guide to Secure Identity Authentication in the Digital Age
por: Crypto Education Research Lab
Publicado: (2025)

EOV Chain Attestation Benchmark: Multi-Hop Delegation Receipt Verification with Linear Scaling
por: Morrow
Publicado: (2026)

Journal of Combinatorial Algebra
Publicado: (2022)

Automated contrast painting for position verification in radiotherapy
por: PM Putora
Publicado: (2009)

Algebraic Combinatorics
Publicado: (2021)

Journal of Algebraic Systems
Publicado: (2019)

Discussiones Mathematicae - General Algebra and Applications
Publicado: (2018)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
por: Arquint, Linard, et al.
Publicado: (2025)

Combinatorial Theory
Publicado: (2023)

Lean Aps Recursion Uniformization (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Observer Non Exhaustability (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Observer Non Exhaustability (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Representational Incompleteness (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Representational Incompleteness (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Reflexive Closure (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

UGP/GTE Lean formalization
por: Spivack, Nova
Publicado: (2026)

Speaker Verification in Different Database Scenarios
por: Leibny Paola García Perera
Publicado: (2011)

Calibrated Extension of the H4/GZ60 Discrete Algebraic Framework
por: Ken, Takada, et al.
Publicado: (2026)

The American Journal of Combinatorics
Publicado: (2023)

The Agda standard library: version 2.0
por: Daggitt, Matthew, et al.
Publicado: (2025)

Lean Nems (Lean formalization)
por: Spivack, Nova
Publicado: (2026)

Universal Bridge Theorem: A Cohomological Framework for Construction-Independent Invariants
por: Maréchal, Thierry
Publicado: (2026)

Speaker verification system based on articulatory information from ultrasound recordings
por: Dagoberto Porras-Plata
Publicado: (2020)

Boundary Interface Theory: Inclination Angle of Bonding and Quantitative Verification of Membrane Depth / 边界界面理论:成键倾角与膜深度的定量验证
por: Wu, Longjian
Publicado: (2026)

Comptes Rendus. Mathématique
Publicado: (2022)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
por: Proof Engine
Publicado: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
por: Proof Engine
Publicado: (2026)