3 papers
cs.AI2026
LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization
Lazar Milikic, Simon Guilloud, Khanh Nguyen +1
We present and evaluate LeanFlow, an LLM agent system specialized for translating mathematical papers into buildable Lean projects. Recent verifier-in-the-loop systems show that la…
cs.RO2026
VLD: Visual Language Goal Distance for Reinforcement Learning Navigation
Lazar Milikic, Manthan Patel, Jonas Frey
Training end-to-end policies from image data to directly predict navigation actions for robotic systems has proven inherently difficult. Existing approaches often suffer from eithe…
cs.CL2024
Exploring Defeasibility in Causal Reasoning
Shaobo Cui, Lazar Milikic, Yiyang Feng +4
Defeasibility in causal reasoning implies that the causal relationship between cause and effect can be strengthened or weakened. Namely, the causal strength between cause and effec…