Skip to content
View Volkopat's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
30 followers · 427 following

Block or report Volkopat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. VLM-Optical-Encoder VLM-Optical-Encoder Public

    DeepSeek-OCR Inspired Optical Encoder for Qwen3-VLM

    Python 10 2

  2. Mini-Evolve Mini-Evolve Public

    Python

  3. RLTX RLTX Public

    Independent implementation and evaluation of the Recurrent Looped Transformer (Yifan Zhang, 2026), plus RLTX — a parallel-scan variant that keeps RLT's exact state tracking at 1/27th the cost. Meas…

    Python 3

  4. earth-moon-biplanar earth-moon-biplanar Public

    Certified artifacts for Ringel's Earth–Moon problem (χ₂ for thickness-two graphs): 241 SAT-verified biplanar graphs, DRAT-checked exclusion of every known 10-chromatic candidate, Lean proofs, and o…

    TeX

  5. zeta-23-lean-cubic-bridge zeta-23-lean-cubic-bridge Public

    Forked from anthropics/formal-math

    A cubic-weight certificate for distinct zeros of zeta, and the third-moment barrier at bandwidth one. Fork of anthropics/zeta-23-lean adding the Schur-Horn step and the conditional certificate N_d …

    Lean