Ufuk Topcu
5 papers · 0 citations
Most-cited papers
- On The Planning Abilities Of Openai's O1 Models: Feasibility, Optimality, And Generalizability2024
- Why Do Llms Struggle In Strategic Play? Broken Links Between Observations, Beliefs, And Actions2026
- Verifiable Reinforcement Learning Systems Via Compositionality2023
- Fine-tuning Language Models Using Formal Methods Feedback2023
- Joint Verification And Refinement Of Language Models For Safety-constrained Planning2024
Topics