Skip to content
@Sequential-Intelligence-Lab

Sequential Intelligence Lab

Popular repositories Loading

  1. InContextTD InContextTD Public

    Python 5 3

  2. .github .github Public

  3. InContextContinualLearning InContextContinualLearning Public

    Use in-context learning to solve loss of plasticity and catastrophic forgetting.

    Python

  4. kimina-lean-server kimina-lean-server Public

    Forked from project-numina/kimina-lean-server

    Kimina Lean server (+ client SDK)

    Python

  5. MathlibLemma MathlibLemma Public

    Official repository for "MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics". Contains the benchmark datasets and verified folklore lemmas.

    Lean

  6. MathlibPR MathlibPR Public

    Python

Repositories

Showing 6 of 6 repositories
  • MathlibPR Public
    Sequential-Intelligence-Lab/MathlibPR’s past year of commit activity
    Python 0 0 0 0 Updated Feb 12, 2026
  • MathlibLemma Public

    Official repository for "MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics". Contains the benchmark datasets and verified folklore lemmas.

    Sequential-Intelligence-Lab/MathlibLemma’s past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Feb 4, 2026
  • kimina-lean-server Public Forked from project-numina/kimina-lean-server

    Kimina Lean server (+ client SDK)

    Sequential-Intelligence-Lab/kimina-lean-server’s past year of commit activity
    Python 0 MIT 26 0 0 Updated Nov 19, 2025
  • InContextContinualLearning Public

    Use in-context learning to solve loss of plasticity and catastrophic forgetting.

    Sequential-Intelligence-Lab/InContextContinualLearning’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Feb 16, 2025
  • InContextTD Public
    Sequential-Intelligence-Lab/InContextTD’s past year of commit activity
    Python 5 MIT 3 0 0 Updated Dec 18, 2024
  • .github Public
    Sequential-Intelligence-Lab/.github’s past year of commit activity
    0 0 0 0 Updated Nov 22, 2024

Top languages

Python Lean

Most used topics

Loading…