Richiedi una copia del documento: Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy

Captcha code
Annulla