Popular repositories Loading

1. MIL_exercise MIL_exercise Public

   Lean

2. M1F-explained M1F-explained Public

   Forked from ImperialCollegeLondon/M1F-explained

   A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"

   Lean

3. software_defects software_defects Public

   Python

4. M2R-Optimal-transport M2R-Optimal-transport Public

   Python

5. PoissonProcess_Lean4 PoissonProcess_Lean4 Public

   Lean

6. llm-planner llm-planner Public

   Forked from 1989Ryan/llm-mcts

   [NeurIPS 2023] We use large language models as commonsense world model and heuristic policy within Monte-Carlo Tree Search, enabling better-reasoned decision-making for daily task planning problems.

   Python