LLM4Lean

AI & ML interests

None defined yet.

Recent Activity

zhouliang  authored a paper 17 days ago

Generating Symbolic World Models via Test-time Scaling of Large Language Models

View all activity

Team members 1