Oxelra AI

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