AI & ML interests

Symbolic Reasoning, Test-time Scaling, Large Language Models

LLM4SymbolWorldModel (LLM4SymbolWorldModel)

AI & ML interests

Symbolic Reasoning, Test-time Scaling, Large Language Models