Copertina

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Yun, Kwansub, Flamehaven Initiative
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Soggetti:	erdos-unit-distance algebraic-number-theory golod-shafarevich class-field-tower discrete-geometry combinatorics reproducibility executable-verification mathematical-verification mpmath openai-research sawin-construction
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

erdos-ant-verification: An Executable Reproduction Artifact for Equation (2.2) of the Erdős Unit-Distance Disproof Remarks Paper
di: Yun, Kwansub, et al.
Pubblicazione: (2026)

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

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

Advances in Combinatorics
Pubblicazione: (2021)

Commit-Gated Execution for Regulated Artificial Intelligence
di: Pinnock, Lee
Pubblicazione: (2026)

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

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

Ars Mathematica Contemporanea
Pubblicazione: (2025)

Jurnal Diferensial
Pubblicazione: (2025)

Discrete Mathematics Letters
Pubblicazione: (2019)

Enumerative Combinatorics and Applications
Pubblicazione: (2021)

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

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

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

Journal of Combinatorial Algebra
Pubblicazione: (2022)

Automated contrast painting for position verification in radiotherapy
di: PM Putora
Pubblicazione: (2009)

Algebraic Combinatorics
Pubblicazione: (2021)

Journal of Algebraic Systems
Pubblicazione: (2019)

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

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

Combinatorial Theory
Pubblicazione: (2023)

Lean Aps Recursion Uniformization (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Observer Non Exhaustability (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Observer Non Exhaustability (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Reflexive Closure (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

UGP/GTE Lean formalization
di: Spivack, Nova
Pubblicazione: (2026)

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

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

The American Journal of Combinatorics
Pubblicazione: (2023)

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

Lean Nems (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

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

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

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

Comptes Rendus. Mathématique
Pubblicazione: (2022)

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

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