Lean 4 programmer

Company Description Moleculyst Ventures Private Limited is an AI research and engineering company focused on building reliable, autonomous, and self-improving AI systems. Our work includes LLM reasoning, hallucination detection, automated research pipelines, interpretability, formal verification, and systems that can evaluate and improve their own problem-solving procedures. We are particularly interested in combining modern language models with rigorous mathematical and computational tools. On…