issues
search
namin
/
llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
https://arxiv.org/abs/2402.08147
MIT License
215
stars
26
forks
source link
Add Mathlib support
#12
Closed
johnjyang
closed
8 months ago
johnjyang
commented
8 months ago
Added Mathlib set up instructions to README