Jiacheng Chen

slime is a LLM post-training framework aiming for RL Scaling.

https://jc-chen1.github.io/

Claude Code Snapshot for Research. All original source code is the property of Anthropic.

verl: Volcano Engine Reinforcement Learning for LLMs

No description.

egg is a flexible, high-performance e-graph library

Pytorch implementation of set transformer

An Open-Ended Embodied Agent with Large Language Models

MetaBox: A Benchmark Platform for Meta-Black-Box Optimization with Reinforcement Learning (https://arxiv.org/abs/2310.08252)

No description.

No description.

Tool for data extraction and interacting with Lean programmatically.

No description.

A simple formula recognizer

LLMs as Copilots for Theorem Proving in Lean

A simple p2p network simulator