You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I work on automated theorem proving, practical programming language theory and advanced LLM-based applications. Interests in reasoning ML and Quantum Computing