Skip to content
AI.info
News
Tools
Research
Learn
AI.info
Ufuk Topcu
Explore Ufuk Topcu on AI.info.
Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability
Page 1