Thanks to visit codestin.com
Credit goes to github.com

Skip to content

@coli-saar coli-saar

Change the repository type filter

All

    Repositories list

    59 repositories

    • rusty-alto

      Public
      Rust
      •
      Apache License 2.0
      •0•0•4•0•Updated Jun 19, 2026Jun 19, 2026

    • packed-term-arena

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jun 19, 2026Jun 19, 2026

    • coli-saar.github.io

      Public
      Web pages for coli-saar publications
      JavaScript
      •1•1•0•1•Updated Jun 16, 2026Jun 16, 2026

    • transformers_plan_verification

      Public
      Official Code Repository for the ICML'26 paper: https://arxiv.org/abs/2603.19954
      C++
      •0•0•0•0•Updated Jun 12, 2026Jun 12, 2026

    • grammatikformalismen

      Public
      Grammatikformalismen - Kursmaterialien
      Jupyter Notebook
      •1•0•6•0•Updated Jun 12, 2026Jun 12, 2026

    • cfgzip-experiments

      Public
      Code for the experiments conducted in the paper "Accelerating Constrained Decoding with Token Space Compression": https://arxiv.org/abs/2605.29986
      Python
      •1•0•0•0•Updated May 28, 2026May 28, 2026

    • BarriersToUniversalReasoningWTransformers

      Public
      This repo contains the code for our paper "Barriers to Universal Reasoning With Transformers (And How to Overcome Them)"
      Python
      •0•0•0•0•Updated May 16, 2026May 16, 2026

    • bananote

      Public
      Typst
      •
      MIT License
      •0•8•2•0•Updated Apr 9, 2026Apr 9, 2026

    • typst-uds-slides

      Public
      Typst slides in the official UdS style
      Typst
      •0•1•0•0•Updated Mar 19, 2026Mar 19, 2026

    • genplan-strategy-refine

      Public
      PDDL
      •0•0•0•0•Updated Mar 18, 2026Mar 18, 2026

    • tracl

      Public
      ACL style for Typst
      Typst
      •
      Apache License 2.0
      •4•23•2•0•Updated Jan 27, 2026Jan 27, 2026

    • sailsman-game

      Public
      Python
      •0•0•0•0•Updated Jan 9, 2026Jan 9, 2026

    • grpo-prm

      Public
      Code for the paper "GRPO is Secretly a Process Reward Model": https://arxiv.org/abs/2509.21154
      Python
      •0•6•0•0•Updated Oct 1, 2025Oct 1, 2025

    • generatingsewinginstructions

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Sep 10, 2025Sep 10, 2025

    • llm-language-accomodation

      Public
      Analysing effects of Language Accomodation in Large Language Models
      Jupyter Notebook
      •0•0•0•0•Updated Sep 6, 2025Sep 6, 2025

    • collaborative-problem-solving

      Public
      The code base of the "Collaborative Problem-Solving" paper.
      Python
      •0•0•0•0•Updated Sep 4, 2025Sep 4, 2025

    • discriminator

      Public
      Python
      •0•0•0•0•Updated Aug 28, 2025Aug 28, 2025

    • c-rasp

      Public
      Interpreter for C-RASP
      Python
      •1•0•2•0•Updated Jul 22, 2025Jul 22, 2025

    • ehop

      Public
      The code and dataset corresponding to the EHOP paper.
      Python
      •
      MIT License
      •0•2•0•0•Updated Jul 21, 2025Jul 21, 2025

    • randomworld

      Public
      Python
      •0•3•0•0•Updated May 2, 2025May 2, 2025

    • cl

      Public
      Computational Linguistics - Reusable course materials
      Jupyter Notebook
      •2•2•5•0•Updated Dec 17, 2024Dec 17, 2024

    • placement-game

      Public
      A 2D placement game written in HTML5
      Python
      •1•1•0•0•Updated Oct 15, 2024Oct 15, 2024

    • GPTWorld

      Public
      A puzzle to learn about prompting
      Jupyter Notebook
      •
      MIT License
      •8•0•0•0•Updated Sep 23, 2024Sep 23, 2024

    • am-transition-parser

      Public
      A transition-based top-down AM dependency parser.
      Python
      •0•3•0•1•Updated Jul 25, 2024Jul 25, 2024

    • ccg-supertagger

      Public
      Python
      •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

    • data-augmentation-compgen

      Public
      Python
      •
      MIT License
      •1•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • ccg-parser

      Public
      Java
      •0•0•0•0•Updated Jul 6, 2024Jul 6, 2024

    • basics

      Public
      A collection of general-purpose classes
      Java
      •0•0•1•2•Updated Jul 6, 2024Jul 6, 2024

    • am-parser

      Public
      Modular implementation of an AM dependency parser in AllenNLP.
      Python
      •
      Apache License 2.0
      •9•32•26•1•Updated Jun 17, 2024Jun 17, 2024

    • alto

      Public
      Alto, the Algebraic Language Toolkit
      Java
      •
      Other
      •3•18•50•0•Updated May 22, 2024May 22, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.