Ufuk Topcu
5 papers · 0 citations
Most-cited papers
- On The Planning Abilities Of Openai's O1 Models: Feasibility, Optimality, And Generalizability2024 · 6 citations
- Fine-tuning Language Models Using Formal Methods Feedback2023 · 1 citations
- Verifiable Reinforcement Learning Systems Via Compositionality2023
- Joint Verification And Refinement Of Language Models For Safety-constrained Planning2024
Top co-authors
Topics