Skip to content

@Sequential-Intelligence-Lab Sequential Intelligence Lab

Change the repository type filter

All

    Repositories list

    5 repositories

    • MathlibLemma

      Public
      Official repository for "MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics". Contains the benchmark datasets and verified folklore le…
      Lean
      •
      Apache License 2.0
      •0•2•0•0•Updated May 21, 2026May 21, 2026

    • kimina-lean-server

      Public
      Kimina Lean server (+ client SDK)
      Python
      •
      MIT License
      •35•0•0•0•Updated Nov 19, 2025Nov 19, 2025

    • InContextContinualLearning

      Public
      Use in-context learning to solve loss of plasticity and catastrophic forgetting.
      Python
      •
      MIT License
      •0•0•0•0•Updated Feb 16, 2025Feb 16, 2025

    • InContextTD

      Public
      Python
      •
      MIT License
      •3•5•0•0•Updated Dec 18, 2024Dec 18, 2024

    • .github

      Public
      0•0•0•0•Updated Nov 22, 2024Nov 22, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.