languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...
languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...
languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...
Lugar:
Atlanta, GA | 01/10/2026 17:10:24 PM | Salario: S/. No Especificado | Empresa:
Mercor languages (Coq/Rocq, Isabelle, Agda, Haskell). Experience with Lean metaprogramming or AI-for-math work such as LLM provers...