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.RO2025
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.DB2021
A Static Analysis Framework for Data Science Notebooks
Pavle Subotić, Lazar Milikić, Milan Stojić
Notebooks provide an interactive environment for programmers to develop code, analyse data and inject interleaved visualizations in a single environment. Despite their flexibility,…