Lists (1)
Starred repositories
Common data structures and algorithms in Rust
An unbounded n-gram language model on Tiny Shakespeare
A chess engine made for the infinitechess.org website that can play on an unbounded board.
Measuring and improving the functional pleasure and pain of AIs
Detecting and steering temporal reasoning in LLMs
Zafar-Lab / Renoir < F997 /h3>
Charting spatial ligand-target activity using Renoir (ligand-taRgEt iNteractions acrOss spatIal topogRaphy)
A Systematic Analysis and Discussion of Claude Code for Designing Today's and Future AI Agent Systems
An Algorithmic Information Theory Library (And Information-theory broadly); Implements numerous approximations, estimations, as well as a comprehensive MC-AIXI Agent & Model Ensemble platform.
General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
Actuarial Models - SAS 9.4 + R
Observer Patch Holography is a mathematically explicit approach to reconstructing physics from observers. Its executable model connects local repair to quantum measurements, clocks, and smooth effe…
Testing baseline LLMs performance across various models
Domain Specific Language for the Abstraction and Reasoning Corpus
A short introduction to program synthesis and the ARC challenge
Advanced Data Structures Implementation
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Official inference framework for 1-bit LLMs
AI agents running research on single-GPU nanochat training automatically
Vibe coded implementation based on Tensor Logic authored by Pedro Domingos
Language model alignment-focused deep learning curriculum
A framework for testing and evaluating AI agents across various task domains, designed for misalignment interpretability research.
Experiment with coding agent to train a decoding transformer to perform addition
Testing whether models distinguish declared-true from declared-false premises
AlexMeinke / MIPVerify.jl
Forked from vtjeng/MIPVerify.jlEvaluating Robustness of Neural Networks with Mixed Integer Programming