Skip to content
@Oxelra-AI

Oxelra AI

AI research platform powered by the Qiushi Engine

Popular repositories Loading

  1. Bandeira-0.2a-open-source Bandeira-0.2a-open-source Public template

    Formal verification of SDP certificates in Lean 4

    Lean 3

  2. Qiushi-Engine-Babylm-Research Qiushi-Engine-Babylm-Research Public

    Qiushi Engine autonomous research on BabyLM 2026 Strict-Small: two model generations, learning principles, reports, code, experiments and research notes.

    Python 3

  3. Non-Hermitian Non-Hermitian Public

    TeX 1

  4. Topological-Photonics Topological-Photonics Public

    TeX 1

  5. Randomstrasse_101_19a Randomstrasse_101_19a Public

    Lean 1

  6. causality-sum-rules causality-sum-rules Public

    Manuscript, supplementary information, and Qiushi Engine research materials for Causality Sum Rules in Conventional Scattering Matrices.

    TeX 1

Repositories

Showing 7 of 7 repositories
  • Qiushi-Engine-Matmul-Research Public

    Autonomous mathematical research by Qiushi Engine: a structural tensor-rank lower bound of 21 for 3x3 matrix multiplication over F2, with complete Lean formalization, bilingual reports, and an open research trajectory.

    Oxelra-AI/Qiushi-Engine-Matmul-Research's past year of commit activity
    Lean 1 0 0 0 Updated Sep 17, 2026
  • causality-sum-rules Public

    Manuscript, supplementary information, and Qiushi Engine research materials for Causality Sum Rules in Conventional Scattering Matrices.

    Oxelra-AI/causality-sum-rules's past year of commit activity
    TeX 1 CC-BY-4.0 0 0 0 Updated Sep 9, 2026
  • Qiushi-Engine-Babylm-Research Public

    Qiushi Engine autonomous research on BabyLM 2026 Strict-Small: two model generations, learning principles, reports, code, experiments and research notes.

    Oxelra-AI/Qiushi-Engine-Babylm-Research's past year of commit activity
    Python 3 0 0 0 Updated Sep 9, 2026
  • Randomstrasse_101_19a Public
    Oxelra-AI/Randomstrasse_101_19a's past year of commit activity
    Lean 1 MIT 0 0 0 Updated Jul 31, 2026
  • Non-Hermitian Public
    Oxelra-AI/Non-Hermitian's past year of commit activity
    TeX 1 0 0 0 Updated Jul 9, 2026
  • Topological-Photonics Public
    Oxelra-AI/Topological-Photonics's past year of commit activity
    TeX 1 0 0 0 Updated Jul 9, 2026
  • Bandeira-0.2a-open-source Public template

    Formal verification of SDP certificates in Lean 4

    Oxelra-AI/Bandeira-0.2a-open-source's past year of commit activity
    Lean 3 MIT 0 0 0 Updated Jun 16, 2026

Most used topics

Loading…