Project

Searching Through Proof Space with Tree Search Algorithms

Enhancing LLMs formal mathematical reasoning.

LLMs are sometimes scary.

Waiting for paper to be published :)

LLM RL
Licensed under CC BY-NC-SA 4.0
© 2026 Burak Sina Akbudak
Built with Hugo
Theme Stack designed by Jimmy