Andrey Vlasenko

Years active
2026

2 results (at S3) · 2 records (at S3) · 0 credits

Results

  • T-085 (correction, 315 cases, n = 10 to 324): source author, credited contributor — chelokot, in [chelokot Nagamochi counterexample 2026]
  • T-086 (optimality, 16 cases, n = 7 to 322): source author, credited contributor — chelokot, in [chelokot Nagamochi counterexample 2026]

Records

Current registered contributions in their recorded family and scope. A result counts once when any of its facets remains current.

  • T-085 (correction, 315 cases, n = 10 to 324): source author, credited contributor — chelokot, in [chelokot Nagamochi counterexample 2026]
  • T-086 (optimality, 16 cases, n = 7 to 322): source author, credited contributor — chelokot, in [chelokot Nagamochi counterexample 2026]

Other reviewed records

  • $: credited contributor — Vlasenko
Sources
  1. public-profile: Public GitHub profile checked 2026-10-21: login chelokot, name Andrey Vlasenko, type User.
  2. source-packet: The packet identifies chelokot/square-packing-archive and retains the source credit to chelokot for project direction, with AI-produced research and Lean formalizations attributed separately.
  3. atlas-credit: name_aliases maps chelokot and Andrey Vlasenko to Vlasenko; lower_bounds.contributors and optimality.contributors retain this same public-profile identity and source association.

Identity evidence