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

Skip to content
View yakazimir's full-sized avatar

Highlights

  • Pro

Block or report yakazimir

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Prolog 3 Updated Jan 10, 2022

The Python PSDD Package

Python 19 7 Updated Jul 20, 2025

Materials for course on language model programming (LMProgramming)

8 1 Updated Sep 14, 2025

Source code and utilities for the Genesys distributed language model architecture discovery system.

Python 129 20 Updated Oct 7, 2025

[EMNLP 2025 Demo] TinyScientist: A Lightweight Framework for Building Research Agents

Python 116 13 Updated Oct 24, 2025

Extension to the built-in ast module. Finds comments in source code and adds them to the parsed tree.

Python 47 11 Updated Oct 12, 2025

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

OCaml 85 21 Updated Mar 15, 2025

PyTorch building blocks for the OLMo ecosystem

Python 312 57 Updated Oct 28, 2025

The Gradient of Algebraic Model Counting (AAAI2025)

Rust 3 Updated Dec 16, 2024

Learning to route instances for Human vs AI Feedback (ACL Main '25)

Python 24 3 Updated Jul 23, 2025

Proof-of-concept formal verification using Hoare logic

Python 21 4 Updated Feb 29, 2020

a python framework to build, learn and reason about probabilistic circuits and tensor networks

Python 122 18 Updated Sep 23, 2025

Guardrails for secure and robust agent development

Python 355 37 Updated Jul 28, 2025

Awesome deliberative prompting: How to ask LLMs to produce reliable reasoning and make reason-responsive decisions.

119 8 Updated Feb 3, 2025
Python 8 2 Updated Aug 28, 2024

A framework for evaluating the effectiveness of chain-of-thought reasoning in language models.

Jupyter Notebook 18 3 Updated Feb 6, 2025

Analyzing and scoring reasoning traces of LLMs

Python 46 Updated Sep 1, 2024

πŸ€— Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Python 151,733 30,970 Updated Oct 27, 2025

Structured Outputs

Python 12,752 644 Updated Oct 27, 2025

πŸ’« Industrial-strength Natural Language Processing (NLP) in Python

Python 32,723 4,612 Updated Oct 28, 2025

Original data for the text to code experiments of Richardson and Kuhn

E 7 2 Updated Sep 20, 2018

Source code for our paper: "Put Your Money Where Your Mouth Is: Evaluating Strategic Planning and Execution of LLM Agents in an Auction Arena"

Python 47 6 Updated Jan 28, 2024

Evaluation suite for LLMs

Python 365 43 Updated Jul 11, 2025

A language for constraint-guided and efficient LLM programming.

Python 4,074 213 Updated May 22, 2025

Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.

16 1 Updated Feb 5, 2025

Reasoning by Communicating with Agents

Python 29 6 Updated Apr 29, 2025

Code for situation modeling, EMNLP 2022

Python 6 2 Updated Oct 31, 2022

PyPSDD porting to Python 3 + PyTorch equivalent tree construction.

Python 15 2 Updated Jun 7, 2023

🎁[ChatGPT4NLU] A Comparative Study on ChatGPT and Fine-tuned BERT

Python 193 9 Updated Apr 17, 2023
Python 3 Updated Jun 12, 2023
Next