The speaker thinks Lean works very well for narrowly fine-tuned logical reasoning and that using Lean as a verifier could make the approach easy.

“for the logical thinking and reasoning,”

“I think we can, a lot of people trying to use lean,”

“because like”

“Our AI work super well for very fine-tuned one,”

“and so if we can just use Ling to kind of become the verifier, then it's easy.”