🧭 Discover the achievements of intellectuals who changed the course of world history. With D3.js, TypeScript

A hyperparameter optimization framework

Mutual-Supervised Learning for Sequential-to-Parallel Code Translation

Uses L2 data's change in time to estimate a L3 order book microstructure on Binance

The State Of The Art, intelligence

Hierarchical Reasoning Model Official Release

Learning to Retrieve by Trying - Source code for Grounding by Trying: LLMs with Reinforcement Learning-Enhanced Retrieval

CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval

XiYanSQL models for Text-to-SQL.

High-Performance Engine for Multi-Vector Search

A UCI compatible chess engine, that uses CPU only MCTS, written in Rust

A customizable MCTS planner with advanced featured tailored to multi-agent simulations and emergent narratives.

A free and strong CPU MCTS UCI chess engine

Catalog Of Math Problems Formalized In Lean

Categorica: a pure and applied category theory framework for the Wolfram Language

Implementation of SOAR

Leetcode for Pytorch

Use Kimi latest model(kimi-k2-0711-preview) to drive your Claude Code.

Natural Language (NL) to Linear Temporal Logic (LTL)

The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)

This is the repository for the paper "Have I done enough planning or should I plan more?"